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

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

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

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