Ben Horsfall

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Pattern Detection

Prolog Programs

Top Venues

J. Autom. Reason.

Publications

Bernhard Reus, Nathaniel Charlton, Ben Horsfall
Symbolic Execution Proofs for Higher Order Store Programs. J. Autom. Reason. 54 (3) (2015)
Ben Horsfall, Nathaniel Charlton, Bernhard Reus
Verifying the reflective visitor pattern. FTfJP@ECOOP (2012)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Crowfoot: A Verifier for Higher-Order Store Programs. VMCAI (2012)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Formal reasoning about runtime code update. ICDE Workshops (2011)