Sciweavers

7 search results - page 1 / 2
» popl 1992
Sort
View
POPL
1992
ACM
15 years 10 months ago
Optimally Profiling and Tracing Programs
Thomas Ball, James R. Larus
POPL
1992
ACM
15 years 10 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
POPL
1992
ACM
15 years 10 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
POPL
1992
ACM
15 years 10 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