SAS
1997
Springer
14 years 4 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
SAS
1997
Springer
14 years 4 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
SAS
1997
Springer
14 years 4 months ago
1997
Springer
SAS
1997
Springer
14 years 4 months ago
1997
Springer
SAS
1997
Springer
14 years 4 months ago
1997
Springer
