External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 1, Issue 2

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

Volume 1, Issue 1

8 -- 26Gary Lindstrom. Backtracking in a Generalized Control Setting
27 -- 49Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg. Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
50 -- 57Richard L. Sites. The Compilation of Loop Induction Expressions
58 -- 70Carlo Ghezzi, Dino Mandrioli. Incremental Parsing
71 -- 83Edward L. Robertson. Code Generation and Storage Allocation for Machines with Span-Dependent Instructions
84 -- 97Leslie Lamport. A New Approach to Proving the Correctness of Multiprocess Programs
98 -- 114Robert L. Constable, James E. Donahue. A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS
115 -- 120David S. Wise. Morris s Garbage Compaction Algorithm Restores Reference Counts
121 -- 141Thomas Lengauer, Robert Endre Tarjan. A Fast Algorithm for Finding Dominators in a Flowgraph
142 -- 160Ken Kennedy, Jayashree Ramanathan. A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
runs on