External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 15, Issue 5

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

Volume 15, Issue 4

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

Volume 15, Issue 3

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

Volume 15, Issue 2

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

Volume 15, Issue 1

1 -- 35Gerard Tel, Friedemann Mattern. The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes
36 -- 72Rance Cleaveland, Joachim Parrow, Bernhard Steffen. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
73 -- 132Martín Abadi, Leslie Lamport. Composing Specifications
133 -- 181Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi. A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
182 -- 205Yehuda Afek, Geoffrey M. Brown, Michael Merritt. Lazy Caching
206 -- 208Alan Finlay, Lloyd Allison. A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo
runs on