Sciweavers

7 search results - page 1 / 2
» popl 1992
Sort
View
POPL
1992
ACM
13 years 8 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
POPL
1992
ACM
13 years 8 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
13 years 8 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