46 citations · 222 across the 24 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.PL2014
Relatively Complete Counterexamples for Higher-Order Programs
Phuc C. Nguyen, David Van Horn
In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional l…
cs.PL2014★ 28 cited
Galois Transformers and Modular Abstract Interpreters
David Darais, Matthew Might, David Van Horn
The design and implementation of static analyzers has become increasingly systematic. Yet for a given language or analysis feature, it often requires tedious and error prone work t…
cs.PL2014★ 5 cited
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang, Weibin Sun, Matthew Might +2
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and point…