Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav07_lecture_20 [2008/05/22 13:45]
vkuncak
sav07_lecture_20 [2009/05/27 10:28] (current)
vkuncak
Line 1: Line 1:
-====== Lecture 20: Interprocedural ​analysis ​======+====== Lecture 20: Interprocedural ​Analysis - Introduction  ​======
  
 intraprocedural analysis = analysis for language without procedures intraprocedural analysis = analysis for language without procedures
 
sav07_lecture_20.txt · Last modified: 2009/05/27 10:28 by vkuncak
 
© EPFL 2018 - Legal notice