User Tools

Site Tools


plt17:lecture_30

Differences

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

Link to this comparison view

plt17:lecture_30 [2017/11/14 19:00] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 30 ======
 +Lecture 30  {{ :​plt17:​lectures:​lect30:​main.pdf | Slides}}
 +(Widening and Narrowing)
  
 +=== Readings ===
 + 
 +  * Patrick Cousot & Radhia Cousot, "​Comparing the Galois connection and widening/​narrowing approaches to abstract interpretation",​ PLILP'​92,​ Leuven, Belgium, 1992.\\ [[http://​www.di.ens.fr/​~cousot/​COUSOTpapers/​PLILP92.shtml|http://​www.di.ens.fr/​~cousot/​COUSOTpapers/​PLILP92.shtml]]
plt17/lecture_30.txt ยท Last modified: 2017/11/14 19:00 by hossein