External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 9, Issue 4

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

Volume 9, Issue 3

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

Volume 9, Issue 2

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

Volume 9, Issue 1

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