Search dblp for Publications

export results for "toc:db/journals/toplas/toplas3.bht:"

 download as .bib file

@article{DBLP:journals/toplas/AndersonB81,
  author       = {Stuart Oliver Anderson and
                  Roland Carl Backhouse},
  title        = {Locally Least-Cost Error Recovery in Early's Algorithm},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {318--347},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357145},
  doi          = {10.1145/357139.357145},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AndersonB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AndreBR81,
  author       = {F. Andr{\'{e}} and
                  Jean{-}Pierre Ban{\^{a}}tre and
                  Jean{-}Paul Routeau},
  title        = {A Multiprocessing Approach to Compile-Time Symbol Resolution},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {11--23},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357123},
  doi          = {10.1145/357121.357123},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AndreBR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Andrews81,
  author       = {Gregory R. Andrews},
  title        = {Synchronizing Resources},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {405--430},
  year         = {1981},
  url          = {https://doi.org/10.1145/357146.357149},
  doi          = {10.1145/357146.357149},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Andrews81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Apt81,
  author       = {Krzysztof R. Apt},
  title        = {Ten Years of Hoare's Logic: {A} Survey - Part 1},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {431--483},
  year         = {1981},
  url          = {https://doi.org/10.1145/357146.357150},
  doi          = {10.1145/357146.357150},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Apt81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Barnden81,
  author       = {John A. Barnden},
  title        = {Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation
                  Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {293--317},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357144},
  doi          = {10.1145/357139.357144},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Barnden81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Borning81,
  author       = {Alan Borning},
  title        = {The Programming Language Aspects of ThingLab, a Constraint-Oriented
                  Simulation Laboratory},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {353--387},
  year         = {1981},
  url          = {https://doi.org/10.1145/357146.357147},
  doi          = {10.1145/357146.357147},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Borning81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BosPS81,
  author       = {Jan van den Bos and
                  Marinus J. Plasmeijer and
                  Jan Stroet},
  title        = {Process Communication Based on Input Specifications},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {224--250},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357141},
  doi          = {10.1145/357139.357141},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BosPS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FraserL81,
  author       = {Christopher W. Fraser and
                  A. A. Lopez},
  title        = {Editing Data Structures},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {115--125},
  year         = {1981},
  url          = {https://doi.org/10.1145/357133.357134},
  doi          = {10.1145/357133.357134},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FraserL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GannonMH81,
  author       = {John D. Gannon and
                  Paul R. McMullin and
                  Richard G. Hamlet},
  title        = {Data-Abstraction Implementation, Specification, and Testing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {211--223},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357140},
  doi          = {10.1145/357139.357140},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GannonMH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GreifM81,
  author       = {Irene Greif and
                  Albert R. Meyer},
  title        = {Specifying the Semantics of while Programs: {A} Tutorial and Critique
                  of a Paper by Hoare and Lauer},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {484--507},
  year         = {1981},
  url          = {https://doi.org/10.1145/357146.357151},
  doi          = {10.1145/357146.357151},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GreifM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GriswoldHK81,
  author       = {Ralph E. Griswold and
                  David R. Hanson and
                  John T. Korb},
  title        = {Generators in Icon},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {144--161},
  year         = {1981},
  url          = {https://doi.org/10.1145/357133.357136},
  doi          = {10.1145/357133.357136},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GriswoldHK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GritP81,
  author       = {Dale H. Grit and
                  Rex L. Page},
  title        = {Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor
                  System},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {49--59},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357125},
  doi          = {10.1145/357121.357125},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GritP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Hansen81,
  author       = {Wilfred J. Hansen},
  title        = {A Cost Model for the Internal Organization of B+-Tree Nodes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {508--532},
  year         = {1981},
  timestamp    = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Hansen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Hanson81,
  author       = {David R. Hanson},
  title        = {Algorithm 568: {PDS} - {A} Portable Directory System},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {162--167},
  year         = {1981},
  url          = {https://doi.org/10.1145/357133.357137},
  doi          = {10.1145/357133.357137},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Hanson81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JazayeriP81,
  author       = {Mehdi Jazayeri and
                  Diane Pozefsky},
  title        = {Space-Efficient Storage Management in an Attribute Grammar Evaluator},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {4},
  pages        = {388--404},
  year         = {1981},
  url          = {https://doi.org/10.1145/357146.357148},
  doi          = {10.1145/357146.357148},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/JazayeriP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/JuelichF81,
  author       = {Otto C. Juelich and
                  Clinton R. Foulk},
  title        = {Compilation of Acyclic Smooth Programs for Parallel Execution},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {24--48},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357124},
  doi          = {10.1145/357121.357124},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/JuelichF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KristensenM81,
  author       = {Bent Bruun Kristensen and
                  Ole Lehrmann Madsen},
  title        = {Methods for Computing LALR(k) Lookahead},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {60--82},
  year         = {1981},
  timestamp    = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KristensenM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LaLonde81,
  author       = {Wilf R. LaLonde},
  title        = {The Construction of Stack-Controlling {LR} Parsers for Regular Right
                  Part Grammars},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {168--206},
  year         = {1981},
  url          = {https://doi.org/10.1145/357133.357138},
  doi          = {10.1145/357133.357138},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LaLonde81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LaLondeR81,
  author       = {Wilf R. LaLonde and
                  Jim des Rivi{\`{e}}res},
  title        = {Handling Operator Precedence in Arithmetic Expressions with Tree Transformations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {83--103},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357127},
  doi          = {10.1145/357121.357127},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LaLondeR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LindstromS81,
  author       = {Gary Lindstrom and
                  Mary Lou Soffa},
  title        = {Referencing and Retention in Block-Structured Coroutines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {263--292},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357143},
  doi          = {10.1145/357139.357143},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LindstromS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Misra81,
  author       = {Jayadev Misra},
  title        = {An Exercise in Program Explanation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {104--109},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357128},
  doi          = {10.1145/357121.357128},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Misra81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Rem81,
  author       = {Martin Rem},
  title        = {Associons: {A} Program Notation with Tuples Instead of Variables},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {251--262},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357142},
  doi          = {10.1145/357139.357142},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Rem81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SchonbergSS81,
  author       = {Edmond Schonberg and
                  Jacob T. Schwartz and
                  Micha Sharir},
  title        = {An Automatic Technique for Selection of Data Structures in {SETL}
                  Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {2},
  pages        = {126--143},
  year         = {1981},
  url          = {https://doi.org/10.1145/357133.357135},
  doi          = {10.1145/357133.357135},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SchonbergSS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Steensgaard-Madsen81,
  author       = {J{\o}rgen Steensgaard{-}Madsen},
  title        = {A Statement-Oriented Approach to Data Abstraction},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {1},
  pages        = {1--10},
  year         = {1981},
  url          = {https://doi.org/10.1145/357121.357122},
  doi          = {10.1145/357121.357122},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Steensgaard-Madsen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.