48 citations · 64 across the 2 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 16 cited
Soft Contract Verification for Higher-Order Stateful Programs
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring…
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…