Differences
This shows you the differences between two versions of the page.
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. |