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

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

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

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