Comparing Type-Based and Proof-Directed Decompilation.

Alan Mycroft Atsushi Ohori Shin-ya Katsumata

Published in: WCRE (2001)

Keyphrases

cooperative
hidden markov models
real time
data sets
information retrieval
case study
three dimensional
digital libraries