POPL 1992

31 papers

1. A Compilation Method for ML-Style Polymorphic Record Calculi · Atsushi Ohori
2. A Comprehensive Study of the Complexity of Multiparty Interaction · Yuh-Jzer Joung, Scott A. Smolka
3. A Mark-and-Sweep Collector for C++ · Daniel R. Edelson
4. A Semantics for ML Concurrency Primitives · Dave Berry, Robin Milner, David N. Turner
5. Abstract Semantics for a Higher-Order Functional Language with Logic Variables · Radha Jagadeesan, Keshav Pingali
6. Algorithmic Aspects of Type Inference with Subtypes · Patrick Lincoln, John C. Mitchell
7. Bounded Fixed Point Iteration · Hanne Riis Nielson, Flemming Nielson
8. Bounded Quantification is Undecidable · Benjamin C. Pierce
9. Compile-Time Analysis of Parallel Programs that Share Memory · Jyh-Herng Chow, Williams Ludwell Harrison III
10. Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation · Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin
11. Garbage Collecting the World · Bernard Lang, Christian Queinnec, José M. Piquer
12. Generalized Dominators and Post-Dominators · Rajiv Gupta
13. Generating a Compiler for a Lazy Language by Partial Evaluation · Jesper Jørgensen
14. Inductive Definitions, Semantics and Abstract Interpretation · Patrick Cousot, Radhia Cousot
15. Linear Continuations · Andrzej Filinski
16. Model Checking and Abstraction · Edmund M. Clarke, Orna Grumberg, David E. Long
17. Modeling Prolog Control · Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
18. Observable Sequentiality and Full Abstraction · Robert Cartwright, Matthias Felleisen
19. Optimally Profiling and Tracing Programs · Thomas Ball, James R. Larus
20. PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism · Kim B. Bruce, John C. Mitchell
21. Parametricity as Subtyping · QingMing Ma
22. Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems · Vivek Nirkhe, William W. Pugh
23. Pattern-Based Tree Attribution · Charles Farnum
24. Principal Signatures for Higher-Order Program Modules · Mads Tofte
25. Recognizing Substrings of LR(k) Languages in Linear Time · Joseph Bates, Alon Lavie
26. Semantic Foundations of Jade · Martin C. Rinard, Monica S. Lam
27. The Essence of Functional Programming · Philip Wadler
28. The Geometry of Optimal Lambda Reduction · Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
29. Type Isomorphisms in a Type-Assignment Framework · Roberto Di Cosmo
30. Typing Record Concatenation for Free · Didier Rémy
31. Unboxed Objects and Polymorphic Typing · Xavier Leroy