Lab for Automated Reasoning and Analysis LARA

Lecture 07: Abstract Interpretation Basics

References

Scala sources illustrating basic concepts of Abstract Interpretation:

 
sav10/lecture_07.txt · Last modified: 2010/04/16 01:19 by vkuncak
 
© EPFL 2018 - Legal notice