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

Typed assembly language