![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 14
Volume 14, Number 1, January 1992
- David M. 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
Volume 14, Number 2, April 1992
- 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
Volume 14, Number 3, July 1992
- 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. ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992) - 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
Volume 14, Number 4, October 1992
- 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.