Sciweavers

7 search results - page 1 / 2
» popl 1992
Sort
View
143
Voted
POPL
1992
ACM
15 years 11 months ago
Generalized Dominators and Post-Dominators
Rajiv Gupta
POPL
1992
ACM
15 years 11 months ago
Optimally Profiling and Tracing Programs
Thomas Ball, James R. Larus
152
Voted
POPL
1992
ACM
15 years 11 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
178
Voted
POPL
1992
ACM
15 years 11 months ago
Unboxed Objects and Polymorphic Typing
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
Xavier Leroy
216
Voted
POPL
1992
ACM
15 years 11 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam