David Hopkins : Publications
-
[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]
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
-
[3]
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
-
[4]
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