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
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

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