ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 14

Volume 14, Number 1, January 1992

David Ungar, Frank Jackson: An Adaptive Tenuring Policy for Generation Scavengers. 1-27 BibTeX
Jon A. Solworth: Epochs. 28-53 BibTeX
Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean: Computer-Assisted Microanalysis of Parallel Programs. 54-106 BibTeX
David A. Gudeman: Denotational Semantics of a Goal-Directed Language. 107-125 BibTeX

Raymond T. Boute: The Euclidian Definition of the Functions div and mod. 127-144 BibTeX
Carsten K. Gomard: A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. 147-172 BibTeX
Lori L. Pollock, Mary Lou Soffa: Incremental Global Reoptimization of Programs. 173-200 BibTeX
Gail E. Kaiser, Brent Hailpern: An Object-Based Programming Model for Shared Data. 201-264 BibTeX
Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Behavior of Combinator Graph Reduction. 265-297 BibTeX

David W. Wall: Experience with a Software-Defined Machine Architecture. 299-338 BibTeX
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. 339-395 BibTeX
Jennifer Widom, David Gries, Fred B. Schneider: Trace-Based Network Proof Systems: Expressiveness and Completeness. 396-416 BibTeX
A. Udaya Shankar, Simon S. Lam: A Stepwise Refinement Heuristic for Protocol Construction. 417-461 BibTeX

Wilfred J. Hansen: Subsequence References: First-Class Values for Substrings. 471-489 BibTeX
Jan Heering, Paul Klint, J. Rekers: Incremental Generation of Lexical Scanners. 490-520 BibTeX
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. 521-573 BibTeX
Jacob Katzenelson, Shlomit S. Pinter, Eugen Schenfeld: Type Matching, Type-Graphs, and the Schanuel Conjecture. 574-588 BibTeX
Robert Muller: M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics. 589-615 BibTeX