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
Volume 15, Number 2, April 1993
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
Volume 15, Number 3, July 1993
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
Volume 15, Number 4, September 1993
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
Volume 15, Number 5, November 1993
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
Copyright ©
Sun May 17 00:30:20 2009 by
Michael Ley
(
ley@uni-trier.de
)