TOPLAS 1987
25 papers
- A Data-Driven Model for a Subset of Logic Programming
- A Generalized Iterative Construct and Its Semantics
- A Methodology for Synthesis of Recursive Functional Programs
- A Practical Method for LR and LL Syntactic Error Diagnosis
- Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types
- An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language
- An Editor for Revision Control
- Automatic Translation of Fortran Programs to Vector Form
- Conversion from Data-Driven to Synchronous Execution in Loop Programs
- DIB - A Distributed Implementation of Backtracking
- Data Descriptors: A Compile-Time Model of Data and Addressing
- Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars
- Embedding Continuations in Procedural Objects
- Graph Translation Schemes to Generate Compiler Parts
- IDL: Sharing Intermediate Representations
- Language Support for the Specification and Development of Composite Systems
- On the Algebraic Definition of Programming Languages
- Parsing and Compiling Using Prolog
- Retargetable Microcode Synthesis
- Soundness of Hoare's Logic: An Automated Proof Using LCF
- Sublinear-Space Evaluation Algorithms for Attribute Grammars
- The Geometry of Semaphore Programs
- The Multiway Rendezvous
- The Program Dependence Graph and Its Use in Optimization
- Writing Larch Interface Language Specifications