1535 search results - page 2 / 307 » Lazy Shape Analysis |
119
Voted
SAS
2010
Springer
15 years 2 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...
120
Voted
SAS
1994
Springer
15 years 7 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...
108
Voted
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer