David Hopkins : Publications

Journal papers

[1]	Homer: A Higher−order Observational equivalence Model checkER David Hopkins and Luke Ong In CAV 09. 2009. Details \| BibTeX \| Download (pdf)

[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 \| BibTeX \| Download (pdf)

[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 \| BibTeX \| Download (pdf)