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 BibTeX
• Scott D. Carson, Paul F. Reynolds Jr.: The Geometry of Semaphore Programs. 25-53 BibTeX
• Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. 54-99 BibTeX
• Stefan Sokolowski: Soundness of Hoare's Logic: An Automated Proof Using LCF. 100-120 BibTeX

Volume 9, Number 2, April 1987

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

Volume 9, Number 3, July 1987

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

Volume 9, Number 4, October 1987

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