TOPLAS 1979

20 papers

1. A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling · Ken Kennedy, Jayashree Ramanathan
2. A Fast Algorithm for Finding Dominators in a Flowgraph · Thomas Lengauer, Robert Endre Tarjan
3. A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS · Robert L. Constable, James E. Donahue
4. A Language for Array and Vector Processors · Ronald H. Perrott
5. A New Approach to Proving the Correctness of Multiprocess Programs · Leslie Lamport
6. A Space Efficient Dynamic Allocation Algorithm for Queuing Messages · Eric Beyer, Peter Buneman
7. Backtracking in a Generalized Control Setting · Gary Lindstrom
8. Code Generation and Storage Allocation for Machines with Span-Dependent Instructions · Edward L. Robertson
9. Comments on "Communicating Sequential Processes" · Richard B. Kieburtz, Abraham Silberschatz
10. Compact Encodings of List Structure · Daniel G. Bobrow, Douglas W. Clark
11. Incremental Parsing · Carlo Ghezzi, Dino Mandrioli
12. Is Sometimes Ever Better Than Alway? · David Gries
13. Morris's Garbage Compaction Algorithm Restores Reference Counts · David S. Wise
14. Noncanonical SLR(1) Grammars · Kuo-Chung Tai
15. Operators · Kenneth E. Iverson
16. Programming by Refinement, as Exemplified by the SETL Representation Sublanguage · Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg
17. Simplification by Cooperating Decision Procedures · Greg Nelson, Derek C. Oppen
18. The Compilation of Loop Induction Expressions · Richard L. Sites
19. Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development · Noah S. Prywes, Amir Pnueli, S. Shastry
20. Verification of Array, Record, and Pointer Operations in Pascal · David C. Luckham, Norihisa Suzuki