default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 1
Volume 1, Number 1, July 1979
- Gary Lindstrom:
Backtracking in a Generalized Control Setting. 8-26 - Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg:
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage. 27-49 - Richard L. Sites:
The Compilation of Loop Induction Expressions. 50-57 - Carlo Ghezzi, Dino Mandrioli:
Incremental Parsing. 58-70 - Edward L. Robertson:
Code Generation and Storage Allocation for Machines with Span-Dependent Instructions. 71-83 - Leslie Lamport:
A New Approach to Proving the Correctness of Multiprocess Programs. 84-97 - Robert L. Constable, James E. Donahue:
A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. 98-114 - David S. Wise:
Morris's Garbage Compaction Algorithm Restores Reference Counts. 115-120 - Thomas Lengauer, Robert Endre Tarjan:
A Fast Algorithm for Finding Dominators in a Flowgraph. 121-141 - Ken Kennedy, Jayashree Ramanathan:
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling. 142-160
Volume 1, Number 2, October 1979
- Kenneth E. Iverson:
Operators. 161-176 - Ronald H. Perrott:
A Language for Array and Vector Processors. 177-195 - Noah S. Prywes, Amir Pnueli, S. Shastry:
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development. 196-217 - Richard B. Kieburtz, Abraham Silberschatz:
Comments on "Communicating Sequential Processes". 218-225 - David C. Luckham, Norihisa Suzuki:
Verification of Array, Record, and Pointer Operations in Pascal. 226-244 - Greg Nelson, Derek C. Oppen:
Simplification by Cooperating Decision Procedures. 245-257 - David Gries
:
Is Sometimes Ever Better Than Alway? 258-265 - Daniel G. Bobrow, Douglas W. Clark:
Compact Encodings of List Structure. 266-286 - Eric Beyer, Peter Buneman:
A Space Efficient Dynamic Allocation Algorithm for Queuing Messages. 287-294 - Kuo-Chung Tai:
Noncanonical SLR(1) Grammars. 295-320
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.
last updated on 2024-11-06 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
