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.