Logical Foundations for Code Generation

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.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: