Bernd Fischer
University of Southampton, UK


Logical Foundations for Code Generation

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 lecture will give an overview of the different approaches; I will also outline how techniques from classical Hoare logic can be applied to gain assurance in an automated code generator.


Last update August 18, 2006 19:44 EET by local organizers,

© 2006 Institute of Cybernetics at TUT, All Rights Reserved