TOPLAS 1993

29 papers

1. A Calculus for Access Control in Distributed Systems · Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
2. A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo · Alan Finlay, Lloyd Allison
3. A Formal Definition of Priority in CSP · Colin J. Fidge
4. A Further Note on Hennessy's "Symbolic Debugging of Optimized Code" · Max Copperman, Charles E. McDowell
5. A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs · Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
6. A Methodology for Implementing Highly Concurrent Objects · Maurice Herlihy
7. A Superimposition Control Construct for Distributed Systems · Shmuel Katz
8. An Alternative Solution to a Problem on Self-Stabilization · Sukumar Ghosh
9. An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement · Dhananjay M. Dhamdhere, Harish Patil
10. Analysis of Or-Parallel Execution Models · Gopal Gupta, Bharat Jayaraman
11. Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors · Siddhartha Chatterjee
12. Composing Specifications · Martín Abadi, Leslie Lamport
13. Cost Analysis of Logic Programs · Saumya K. Debray, Nai-Wei Lin
14. Defining Context-Dependent Syntax Without Using Contexts · Martin Odersky
15. Interprocedural Optimization: Eliminating Unnecessary Recompilation · Michael G. Burke, Linda Torczon
16. Lazy Caching · Yehuda Afek, Geoffrey M. Brown, Michael Merritt
17. Leader Election in Uniform Rings · Shing-Tsaan Huang
18. Mathematical Foundations of Time Warp Systems · Jonathan I. Leivent, Ronald J. Watro
19. On the Type Structure of Standard ML · Robert Harper, John C. Mitchell
20. Parameterized Partial Evaluation · Charles Consel, Siau-Cheng Khoo
21. Procedural Implementation of Algebraic Specification · Huimin Lin
22. Reasoning About Naming Systems · Mic Bowman, Saumya K. Debray, Larry L. Peterson
23. Scheduling Time-Critical Instructions on RISC Machines · Krishna V. Palem, Barbara B. Simons
24. Subtyping Recursive Types · Roberto M. Amadio, Luca Cardelli
25. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems · Rance Cleaveland, Joachim Parrow, Bernhard Steffen
26. The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes · Gerard Tel, Friedemann Mattern
27. The Design of the E Programming Language · Joel E. Richardson, Michael J. Carey, Daniel T. Schuh
28. Type Inference with Polymorphic Recursion · Fritz Henglein
29. Type Reconstruction in the Presence of Polymorphic Recursion · A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn