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
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