Volume 15, Number 1, January 1993
Gerard Tel, Friedemann Mattern: The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes. 1-35- Rance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. 36-72
- Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi: A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. 133-181
- Alan Finlay, Lloyd Allison: A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. 206-208
Volume 15, Number 2, April 1993
- Fritz Henglein: Type Inference with Polymorphic Recursion. 253-289
- A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: Type Reconstruction in the Presence of Polymorphic Recursion. 290-311
- Dhananjay M. Dhamdhere, Harish Patil: An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement. 312-336
- Shmuel Katz: A Superimposition Control Construct for Distributed Systems. 337-356
- Max Copperman, Charles E. McDowell: A Further Note on Hennessy's ``Symbolic Debugging of Optimized Code''. 357-365
Volume 15, Number 3, July 1993
- Michael G. Burke, Linda Torczon: Interprocedural Optimization: Eliminating Unnecessary Recompilation. 367-399
- Siddhartha Chatterjee: Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors. 400-462
- Joel E. Richardson, Michael J. Carey, Daniel T. Schuh: The Design of the E Programming Language. 494-534
- Martin Odersky: Defining Context-Dependent Syntax Without Using Contexts. 535-562
- Shing-Tsaan Huang: Leader Election in Uniform Rings. 563-573
Volume 15, Number 4, September 1993
- Krishna V. Palem, Barbara B. Simons: Scheduling Time-Critical Instructions on RISC Machines. 632-658
- Colin J. Fidge: A Formal Definition of Priority in CSP. 681-705
- Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. 706-734
- Sukumar Ghosh: An Alternative Solution to a Problem on Self-Stabilization. 735-742
Volume 15, Number 5, November 1993
- Maurice Herlihy: A Methodology for Implementing Highly Concurrent Objects. 745-770
- Huimin Lin: Procedural Implementation of Algebraic Specification. 876-895
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team