1535 search results - page 2 / 307 » Lazy Shape Analysis |
SAS
2010
Springer
14 years 8 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
SAS
1994
Springer
15 years 1 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
67
Voted
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
POPL
1994
ACM
15 years 1 months ago
1994
ACM