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

Last update Wed May 22 19:08:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page