48 citations · 48 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 48 cited
Abstracting Definitional Interpreters
David Darais, Nicholas Labich, Phuc C. Nguyen +1
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitiona…
cs.PL2015
Mechanically Verified Calculational Abstract Interpretation
David Darais, David Van Horn
Calculational abstract interpretation, long advocated by Cousot, is a technique for deriving correct-by-construction abstract interpreters from the formal semantics of programming…