Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:compiler [2008/02/18 17:14]
vkuncak
sav08:compiler [2008/02/20 10:24] (current)
vkuncak
Line 1: Line 1:
 ====== Compilers and Their Role in Software Analysis and Verification ====== ====== Compilers and Their Role in Software Analysis and Verification ======
 +
 +Recall the big picture in [[Verification as Science]]. ​ What is the role of the compiler?
  
 Compiler is the closest relative of a program analysis and verification system: they both manipulate programs taking into account the meaning of statement constructs. Compiler is the closest relative of a program analysis and verification system: they both manipulate programs taking into account the meaning of statement constructs.
 
sav08/compiler.txt · Last modified: 2008/02/20 10:24 by vkuncak
 
© EPFL 2018 - Legal notice