Abstract interpretation based static analysis parameterized by semantics

  • Patrick Cousot
Invited Talks

DOI: 10.1007/BFb0032759

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1302)
Cite this paper as:
Cousot P. (1997) Abstract interpretation based static analysis parameterized by semantics. In: Van Hentenryck P. (eds) Static Analysis. SAS 1997. Lecture Notes in Computer Science, vol 1302. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Patrick Cousot
    • 1
  1. 1.École normale supérieure, DMIParis cedex 05France

Personalised recommendations