ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 9

Volume 9, Number 1, January 1987

• Jeannette M. Wing:
  Writing Larch Interface Language Specifications. 1-24
  
• Scott D. Carson, Paul F. Reynolds Jr.:
  The Geometry of Semaphore Programs. 25-53
  
• Manfred Broy, Martin Wirsing, Peter Pepper:
  On the Algebraic Definition of Programming Languages. 54-99
  
• Stefan Sokolowski:
  Soundness of Hoare's Logic: An Automated Proof Using LCF. 100-120
  

Volume 9, Number 2, April 1987

• Jacques Cohen, Timothy J. Hickey:
  Parsing and Compiling Using Prolog. 125-163
  
• Michael G. Burke, Gerald A. Fisher:
  A Practical Method for LR and LL Syntactic Error Diagnosis. 164-197
  
• Martin S. Feather:
  Language Support for the Specification and Development of Composite Systems. 198-234
  
• Raphael A. Finkel, Udi Manber:
  DIB - A Distributed Implementation of Backtracking. 235-256
  
• Robert A. Mueller, Joseph Varghese:
  Retargetable Microcode Synthesis. 257-276
  
• Christopher W. Fraser, Eugene W. Myers:
  An Editor for Revision Control. 277-295
  

Volume 9, Number 3, July 1987

• David Alex Lamb:
  IDL: Sharing Intermediate Representations. 297-318
  
• Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren:
  The Program Dependence Graph and Its Use in Optimization. 319-349
  
• Arthur Charlesworth:
  The Multiway Rendezvous. 350-366
  
• Richard C. Holt:
  Data Descriptors: A Compile-Time Model of Data and Addressing. 367-389
  
• Shaula Yemini, Daniel M. Berry:
  An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. 390-407
  
• Thomas W. Reps, Alan J. Demers:
  Sublinear-Space Evaluation Algorithms for Attribute Grammars. 408-440
  
• Debasish Banerjee:
  A Methodology for Synthesis of Recursive Functional Programs. 441-462
  

Volume 9, Number 4, October 1987

• Michael Sonnenschein:
  Graph Translation Schemes to Generate Compiler Parts. 473-490
  
• Randy Allen, Ken Kennedy:
  Automatic Translation of Fortran Programs to Vector Form. 491-542
  
• Daniel J. Rosenkrantz, Harry B. Hunt III:
  Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars. 543-566
  
• Ed Anson:
  A Generalized Iterative Construct and Its Semantics. 567-581
  
• Christopher T. Haynes, Daniel P. Friedman:
  Embedding Continuations in Procedural Objects. 582-598
  
• Janice E. Cuny, Lawrence Snyder:
  Conversion from Data-Driven to Synchronous Execution in Loop Programs. 599-617
  
• Lubomir Bic, Craig Lee:
  A Data-Driven Model for a Subset of Logic Programming. 618-645
  
• Jacques Loeckx:
  Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. 646-685
  

Last update Thu May 23 19:41:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page