University of Oxford Logo University of OxfordDepartment of Computer Science - Home

David Hopkins

No Personal Image Available
David Hopkins
Doctoral Student


Play with Homer - the Higher-order Observational equivalence Model checkER

Play with Hector - the Higher-order Equivalence Checker for Terms of O-strict Rml

Selected Publications

View all

Manage publications

Hector: An Equivalence Checker for a Higher−Order Fragment of ML

David Hopkins‚ Andrzej S. Murawski and C.−H Luke Ong

In CAV. 2012.

Game Semantics Based Equivalence Checking of Higher−Order Programs

David Hopkins

PhD Thesis 2012.

A Fragment of ML Decidable by Visibly Pushdown Automata

David Hopkins‚ Andrzej S. Murawski and C.−H. Luke Ong

In ICALP. Pages 149−161. 2011.



Completed Projects