![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.