Sciweavers

27119 search results - page 100 / 5424
» Languages
Sort
View
POPL
1996
ACM
15 years 10 months ago
The Reflexive CHAM and the Join-Calculus
Cédric Fournet, Georges Gonthier
POPL
1996
ACM
15 years 10 months ago
Iterated Register Coalescing
Lal George, Andrew W. Appel
POPL
1996
ACM
15 years 10 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon