Now showing items 1-1 of 1
Set-Based Analysis for Full Scheme and Its Use in Soft-Typing
Set-Based Analysis is an efficient and accurate program analysis for higher-order languages. It exploits an intuitive notion of approximation that treats program variables as sets of values. We present a new derivation of ...