David Hopkins

Selected Publications

View AllManage 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.

  Details about Hector: An Equivalence Checker for a Higher−Order Fragment of ML | BibTeX data for Hector: An Equivalence Checker for a Higher−Order Fragment of ML | Download  (pdf) of Hector: An Equivalence Checker for a Higher−Order Fragment of ML

• Game Semantics Based Equivalence Checking of Higher−Order Programs

  David Hopkins

  PhD Thesis 2012.

  Details about Game Semantics Based Equivalence Checking of Higher−Order Programs | BibTeX data for Game Semantics Based Equivalence Checking of Higher−Order Programs | Download  (pdf) of Game Semantics Based Equivalence Checking of Higher−Order Programs

• 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.

  Details about A Fragment of ML Decidable by Visibly Pushdown Automata | BibTeX data for A Fragment of ML Decidable by Visibly Pushdown Automata | Download  (pdf) of A Fragment of ML Decidable by Visibly Pushdown Automata

Completed Projects

• Verifying Properties of the ML Family of Languages

Supervisor