University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

David Hopkins

No Personal Image Available
David Hopkins
Doctoral Student

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

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.

Info

Themes

Completed Projects

Supervisor

SHARE THIS: