Ewen Denney. 

Many different approaches to code generation have been developed since the idea first grew out of work on theorem proving in the 1960s, ranging from from fully deductive to template- and schema-based. This mini-course will give an overview of these different approaches and outline how techniques from classical Hoare logic can be applied to gain assurance in an automated code generator.

http://www.lbd.dcc.ufmg.br/colecoes/sbmf/2005/017.pdf

Processando consulta.