ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 15

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

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

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

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

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