Formalizing the Expertise of the Assembly Language Programmer (opens in new tab)

Formalizing the Expertise of the Assembly Language Programmer Duffey, Roger DuWayne II A novel compiler strategy for generating high quality code is described. The quality of the code results from reimplementing the program in the target language using knowledge of the program's behavior. The research is a first step towards formalizing the expertise of the assembly language programmer. The ultimate goal is to formalize code generation and implementation techniques in the same way that parsin...