On inverse translation of machine language

The goals of my research were to investigate some of the problems involved in translating machine language programs into high level procedural languages and to develop a systematic methodology for this process. It was assumed that the source program was produced either manually or by a compiler. A translator was implemented to accept programs coded in Knuth's MIXAL (assembly language for the MIX machine) and produce an "equivalent" PL/1 version.