default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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
Volume 9, Number 2, April 1987
- 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
Volume 9, Number 3, July 1987
- 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
Volume 9, Number 4, October 1987
- 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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
