default search action
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
Volume 15, Number 2, April 1993
- Robert Harper, John C. Mitchell:
On the Type Structure of Standard ML. 211-252 - Fritz Henglein:
Type Inference with Polymorphic Recursion. 253-289 - A. J. Kfoury, Jerzy Tiuryn
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
Volume 15, Number 3, July 1993
- 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
Volume 15, Number 4, September 1993
- 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
Volume 15, Number 5, November 1993
- Maurice Herlihy:
A Methodology for Implementing Highly Concurrent Objects. 745-770 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: