Sciweavers

10575 search results - page 71 / 2115
» T2Script Programming Language
Sort
View
125
Voted
POPL
1996
ACM
15 years 6 months ago
The Reflexive CHAM and the Join-Calculus
Cédric Fournet, Georges Gonthier
120
Voted
POPL
1996
ACM
15 years 6 months ago
Iterated Register Coalescing
Lal George, Andrew W. Appel
93
Voted
POPL
1996
ACM
15 years 6 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
POPL
1996
ACM
15 years 6 months ago
Pure versus Impure LISP
Nicholas Pippenger
84
Voted
POPL
1996
ACM
15 years 6 months ago
Points-to Analysis in Almost Linear Time
Bjarne Steensgaard