Comparing Type-Based and Proof-Directed Decompilation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
Comparing Type-Based and Proof-Directed Decompilation
WCRE, 2001.

WCRE 2001
DBLP
Scholar
?EE?
Full names Links ISxN
@inproceedings{WCRE-2001-MycroftOK,
	author        = "Alan Mycroft and Atsushi Ohori and Shin-ya Katsumata",
	booktitle     = "{Proceedings of the Eighth Working Conference on Reverse Engineering}",
	ee            = "http://computer.org/proceedings/wcre/1303/13030362abs.htm",
	isbn          = "0-7695-1303-4",
	pages         = "362--367",
	publisher     = "{IEEE Computer Society}",
	title         = "{Comparing Type-Based and Proof-Directed Decompilation}",
	year          = 2001,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.