David Hopkins
|
Room Room 347, Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
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
| Hector: An Equivalence Checker for a Higher−Order Fragment of ML David Hopkins‚ Andrzej S. Murawski and C.−H Luke Ong In CAV. 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. |
| Homer: A Higher−order Observational equivalence Model checkER David Hopkins and Luke Ong In CAV 09. 2009. |
Info
|
Themes |
|
|
Completed Projects |
|
|
Supervisor |
|
