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
• 
  Martín Abadi, Leslie Lamport: Composing Specifications. 73-132
• 
  Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi: A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. 133-181
• 
  Yehuda Afek, Geoffrey M. Brown, Michael Merritt: Lazy Caching. 182-205
• 
  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

• 
  Robert Harper, John C. Mitchell: On the Type Structure of Standard ML. 211-252, (preliminary version: POPL 1988: 28-46)
• 
  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
• 
  Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. 463-493
• 
  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

• 
  Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. 575-631
• 
  Krishna V. Palem, Barbara B. Simons: Scheduling Time-Critical Instructions on RISC Machines. 632-658
• 
  Gopal Gupta, Bharat Jayaraman: Analysis of Or-Parallel Execution Models. 659-680
• 
  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, (see comments in TOPLAS 17(1): 45-46 (1995))
• 
  Jonathan I. Leivent, Ronald J. Watro: Mathematical Foundations of Time Warp Systems. 771-794
• 
  Mic Bowman, Saumya K. Debray, Larry L. Peterson: Reasoning About Naming Systems. 795-825
• 
  Saumya K. Debray, Nai-Wei Lin: Cost Analysis of Logic Programs. 826-875
• 
  Huimin Lin: Procedural Implementation of Algebraic Specification. 876-895

last updated on Sat May 18 06:48:34 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page