Type-based decompilation (or program reconstruction via type reconstruction)
Alan Mycroft[ISBN] [Google Scholar] [DBLP] [Citeseer]
Programming Languages and Systems
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 208-223
1999
Topic(s): types
Note(s): typed assembly language, binary lifter
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 208-223
1999
Topic(s): types
Note(s): typed assembly language, binary lifter