Ben Horsfall

According to our database, Ben Horsfall authored at least 4 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Symbolic Execution Proofs for Higher Order Store Programs.

Bernhard Reus, Nathaniel Charlton, Ben Horsfall

J. Autom. Reason., 2015

2012

Crowfoot: A Verifier for Higher-Order Store Programs.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Verifying the reflective visitor pattern.

Ben Horsfall, Nathaniel Charlton, Bernhard Reus

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Formal reasoning about runtime code update.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011