Abstract interpretation based static analysis parameterized by semantics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationStatic Analysis - 4th International Symposium, SAS 1997
EditorsPascal Van Hentenryck
PublisherSpringer Verlag
Pages388-394
Number of pages7
ISBN (Print)9783540634683
DOIs
StatePublished - 1997
Event4th International Symposium on Static Analysis, SAS 1997 - Paris, France
Duration: Sep 8 1997Sep 10 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1302 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Symposium on Static Analysis, SAS 1997
CountryFrance
CityParis
Period9/8/979/10/97

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Abstract interpretation based static analysis parameterized by semantics'. Together they form a unique fingerprint.

  • Cite this

    Cousot, P. (1997). Abstract interpretation based static analysis parameterized by semantics. In P. Van Hentenryck (Ed.), Static Analysis - 4th International Symposium, SAS 1997 (pp. 388-394). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1302 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0032759