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
  

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
  

Last update Sat May 18 20:59:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page