Invited Talks

Static Analysis

Volume 1302 of the series Lecture Notes in Computer Science pp 388-394


Abstract interpretation based static analysis parameterized by semantics

  • Patrick CousotAffiliated withÉcole normale supérieure, DMI

* Final gross prices may vary according to local VAT.

Get Access


We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics as a parameter, either that of the program to be analyzed or that of a programming language.