47 citations · 151 across the 17 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 6 cited
Occurrence Typing Modulo Theories
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
We present a new type system combining occurrence typing, previously used to type check programs in dynamically-typed languages such as Racket, JavaScript, and Ruby, with dependent…
cs.PL2015
Higher-order symbolic execution for contract verification and refutation
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. Our approach is sound an…