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

Last update Fri May 25 09:48:09 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page