ACM 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 BibTeX
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 BibTeX
Richard L. Sites: The Compilation of Loop Induction Expressions. 50-57 BibTeX
Carlo Ghezzi, Dino Mandrioli: Incremental Parsing. 58-70 BibTeX
Edward L. Robertson: Code Generation and Storage Allocation for Machines with Span-Dependent Instructions. 71-83 BibTeX
Leslie Lamport: A New Approach to Proving the Correctness of Multiprocess Programs. 84-97 BibTeX
Robert L. Constable, James E. Donahue: A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. 98-114 BibTeX
David S. Wise: Morris's Garbage Compaction Algorithm Restores Reference Counts. 115-120 BibTeX
Thomas Lengauer, Robert Endre Tarjan: A Fast Algorithm for Finding Dominators in a Flowgraph. 121-141 BibTeX
Ken Kennedy, Jayashree Ramanathan: A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling. 142-160 BibTeX

Kenneth E. Iverson: Operators. 161-176 BibTeX
Ronald H. Perrott: A Language for Array and Vector Processors. 177-195 BibTeX
Noah S. Prywes, Amir Pnueli, S. Shastry: Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development. 196-217 BibTeX
Richard B. Kieburtz, Abraham Silberschatz: Comments on ``Communicating Sequential Processes''. 218-225 BibTeX
David C. Luckham, Norihisa Suzuki: Verification of Array, Record, and Pointer Operations in Pascal. 226-244 BibTeX
Greg Nelson, Derek C. Oppen: Simplification by Cooperating Decision Procedures. 245-257 BibTeX
David Gries: Is Sometimes Ever Better Than Alway? 258-265 BibTeX
Daniel G. Bobrow, Douglas W. Clark: Compact Encodings of List Structure. 266-286 BibTeX
Eric Beyer, Peter Buneman: A Space Efficient Dynamic Allocation Algorithm for Queuing Messages. 287-294 BibTeX
Kuo-Chung Tai: Noncanonical SLR(1) Grammars. 295-320 BibTeX