Improving the static analysis of embedded languages via partial evaluation (0)

by David Herman, Philippe Meunier
Venue:In Proc. Ninth ACM ∆ p, E ′ ⊢ e1 ⇓ e1 ′ � p, E ⊢ (let/cc k e1 ) ⇓h (let/cc k e1