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 BibTeX
Rance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. 36-72 BibTeX
Martín Abadi, Leslie Lamport: Composing Specifications. 73-132 BibTeX
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi: A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. 133-181 BibTeX
Yehuda Afek, Geoffrey M. Brown, Michael Merritt: Lazy Caching. 182-205 BibTeX
Alan Finlay, Lloyd Allison: A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. 206-208 BibTeX

Robert Harper, John C. Mitchell: On the Type Structure of Standard ML. 211-252 BibTeX , preliminary version: POPL 1988: 28-46
Fritz Henglein: Type Inference with Polymorphic Recursion. 253-289 BibTeX
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: Type Reconstruction in the Presence of Polymorphic Recursion. 290-311 BibTeX
Dhananjay M. Dhamdhere, Harish Patil: An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement. 312-336 BibTeX
Shmuel Katz: A Superimposition Control Construct for Distributed Systems. 337-356 BibTeX
Max Copperman, Charles E. McDowell: A Further Note on Hennessy's ``Symbolic Debugging of Optimized Code''. 357-365 BibTeX

Michael G. Burke, Linda Torczon: Interprocedural Optimization: Eliminating Unnecessary Recompilation. 367-399 BibTeX
Siddhartha Chatterjee: Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors. 400-462 BibTeX
Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. 463-493 BibTeX
Joel E. Richardson, Michael J. Carey, Daniel T. Schuh: The Design of the E Programming Language. 494-534 BibTeX
Martin Odersky: Defining Context-Dependent Syntax Without Using Contexts. 535-562 BibTeX
Shing-Tsaan Huang: Leader Election in Uniform Rings. 563-573 BibTeX

Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. 575-631 BibTeX
Krishna V. Palem, Barbara B. Simons: Scheduling Time-Critical Instructions on RISC Machines. 632-658 BibTeX
Gopal Gupta, Bharat Jayaraman: Analysis of Or-Parallel Execution Models. 659-680 BibTeX
Colin J. Fidge: A Formal Definition of Priority in CSP. 681-705 BibTeX
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin: A Calculus for Access Control in Distributed Systems. 706-734 BibTeX
Sukumar Ghosh: An Alternative Solution to a Problem on Self-Stabilization. 735-742 BibTeX

Maurice Herlihy: A Methodology for Implementing Highly Concurrent Objects. 745-770 BibTeX , see comments in TOPLAS 17(1): 45-46 (1995)
Jonathan I. Leivent, Ronald J. Watro: Mathematical Foundations of Time Warp Systems. 771-794 BibTeX
Mic Bowman, Saumya K. Debray, Larry L. Peterson: Reasoning About Naming Systems. 795-825 BibTeX
Saumya K. Debray, Nai-Wei Lin: Cost Analysis of Logic Programs. 826-875 BibTeX
Huimin Lin: Procedural Implementation of Algebraic Specification. 876-895 BibTeX