TOPLAS 1992

18 papers

1. A Model Parametric Real-Time Logic · Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
2. A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics · Carsten K. Gomard
3. A Stepwise Refinement Heuristic for Protocol Construction · A. Udaya Shankar, Simon S. Lam
4. An Adaptive Tenuring Policy for Generation Scavengers · David M. Ungar, Frank Jackson
5. An Object-Based Programming Model for Shared Data · Gail E. Kaiser, Brent Hailpern
6. Cache Behavior of Combinator Graph Reduction · Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
7. Computer-Assisted Microanalysis of Parallel Programs · Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean
8. Denotational Semantics of a Goal-Directed Language · David A. Gudeman
9. Epochs · Jon A. Solworth
10. Experience with a Software-Defined Machine Architecture · David W. Wall
11. Incremental Generation of Lexical Scanners · Jan Heering, Paul Klint, J. Rekers
12. Incremental Global Reoptimization of Programs · Lori L. Pollock, Mary Lou Soffa
13. M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics · Robert Muller
14. Subsequence References: First-Class Values for Substrings · Wilfred J. Hansen
15. The CLP(R) Language and System · Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
16. The Euclidian Definition of the Functions div and mod · Raymond T. Boute
17. Trace-Based Network Proof Systems: Expressiveness and Completeness · Jennifer Widom, David Gries, Fred B. Schneider
18. Type Matching, Type-Graphs, and the Schanuel Conjecture · Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld