Sciweavers

94
Voted
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
15 years 27 days ago
Exact Flow Analysis
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 ...
Christian Mossin