David Hopkins : Publications

Journal papers

• [1]

  Homer: A Higher−order Observational equivalence Model checkER

  David Hopkins and Luke Ong

  In CAV 09. 2009.

  Details about Homer: A Higher−order Observational equivalence Model checkER | BibTeX data for Homer: A Higher−order Observational equivalence Model checkER | Download  (pdf) of Homer: A Higher−order Observational equivalence Model checkER

Conference papers

• [1]

  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

• [2]

  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

Theses

• [1]

  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