default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 6
Volume 6, Number 1, January 1984
- James E. Archer Jr., Richard Conway, Fred B. Schneider:
User Recovery and Reversal in Interactive Systems. 1-19 - Robert D. Cameron, Mabo Robert Ito:
Grammar-Based Definition of Metaprogramming Systems. 20-54 - L. Colussi:
Recursion As an Effective Step in Program Development. 55-67 - Zohar Manna, Pierre Wolper
:
Synthesis of Communicating Processes from Temporal Logic Specifications. 68-93 - Robert L. Constable, Daniel R. Zlatin:
The Type Theory of PL/CV3. 94-117 - Arie E. Kaufman:
Tailored-List and Recombination-Delaying Buddy Systems. 118-125
Volume 6, Number 2, April 1984
- William F. Appelbe, Anders P. Ravn:
Encapsulation Constructs in Systems Programming Languages. 129-158 - F. Warren Burton:
Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs. 159-174 - M. Elizabeth C. Hull, R. M. McKeag:
Communicating Sequential Processes for Centralized and Distributed Operating System Design. 175-191 - Roland Carl Backhouse:
Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery. 192-214 - John H. Reif, Paul G. Spirakis:
Real-Time Synchronization of Interprocess Communications. 215-238 - Richard Alan Karp:
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. 239-253 - Leslie Lamport:
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. 254-280 - Leslie Lamport, Fred B. Schneider:
The "Hoare Logic" of CSP, and All That. 281-296
Volume 6, Number 3, July 1984
- Timothy A. Budd:
An APL Compiler for a Vector Processor. 297-313 - Richard F. Hobson:
A Directly Executable Encoding for APL. 314-332 - Mordechai Ben-Ari:
Algorithms for On-the-fly Garbage Collection. 333-344 - Takuya Katayama:
Translation of Attribute Grammars into Procedures. 345-369 - Krzysztof R. Apt, Nissim Francez:
Modeling the Distributed Termination Convention of CSP. 370-379 - Ephraim Korach, Doron Rotem, Nicola Santoro:
Distributed Algorithms for Finding Centers and Medians in Networks. 380-401 - Richard D. Schlichting, Fred B. Schneider:
Using Message Passing for Distributed Programming: Proof Rules, Disciplines. 402-431 - Wilf R. LaLonde:
Comments on Soisalon-Soininen's "Inessential Error Entries". 432-439
Volume 6, Number 4, October 1984
- Robert I. Winner:
Unassigned Objects. 449-467 - Franco Turini:
Magma2: A Language Oriented toward Experiments in Control. 468-486 - Richard S. Bird:
The Promotion and Accumulation Strategies in Transformational Programming. 487-504 - Jack W. Davidson, Christopher W. Fraser:
Code Selection through Object Code Optimization. 505-526 - M. V. S. Ramanath, Marvin H. Solomon:
Jump Minimization in Linear Time. 527-545 - Peter Dencker, Karl Dürre, Johannes Heuft:
Optimization of Parser Tables for Portable Compilers. 546-572 - Naftaly H. Minsky:
Selective and Locally Controlled Transport of Privileges. 573-602 - Michael P. Georgeff:
Transformations and Reduction Strategies for Typed Lambda Expressions. 603-631 - K. Mani Chandy, Jayadev Misra:
The Drinking Philosopher's Problem. 632-646 - Neelam Soundararajan:
Axiomatic Semantics of Communicating Sequential Processes. 647-662
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-11-02 21:08 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:
