48 citations · 129 across the 13 of their papers we have counts for
Showing 2017 · cs.PLShow all
2 papers · 2 filters
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…