1535 search results - page 2 / 307 » Lazy Shape Analysis |
117
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...
117
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
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
105
Voted
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
123
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM