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
Jon A. Solworth: Epochs. 28-53
Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean: Computer-Assisted Microanalysis of Parallel Programs. 54-106
David A. Gudeman: Denotational Semantics of a Goal-Directed Language. 107-125

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

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

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