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
PublisherSpringer Verlag
Pages388-394
Number of pages7
Volume1302 LNCS
ISBN (Print)9783540634683
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

Fingerprint

Abstract Interpretation
Static analysis
Static Analysis
Semantics
Program Analysis
Computer programming languages
Programming Languages
Design
Review

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Cousot, P. (1997). Abstract interpretation based static analysis parameterized by semantics. In Static Analysis - 4th International Symposium, SAS 1997 (Vol. 1302 LNCS, 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.

Abstract interpretation based static analysis parameterized by semantics. / Cousot, Patrick.

Static Analysis - 4th International Symposium, SAS 1997. Vol. 1302 LNCS Springer Verlag, 1997. p. 388-394 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1302 LNCS).

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

Cousot, P 1997, Abstract interpretation based static analysis parameterized by semantics. in Static Analysis - 4th International Symposium, SAS 1997. vol. 1302 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1302 LNCS, Springer Verlag, pp. 388-394, 4th International Symposium on Static Analysis, SAS 1997, Paris, France, 9/8/97.
Cousot P. Abstract interpretation based static analysis parameterized by semantics. In Static Analysis - 4th International Symposium, SAS 1997. Vol. 1302 LNCS. Springer Verlag. 1997. p. 388-394. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Cousot, Patrick. / Abstract interpretation based static analysis parameterized by semantics. Static Analysis - 4th International Symposium, SAS 1997. Vol. 1302 LNCS Springer Verlag, 1997. pp. 388-394 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{eac2e6a2706348e9ad2ad4217ef585aa,
title = "Abstract interpretation based static analysis parameterized by semantics",
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.",
author = "Patrick Cousot",
year = "1997",
language = "English (US)",
isbn = "9783540634683",
volume = "1302 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "388--394",
booktitle = "Static Analysis - 4th International Symposium, SAS 1997",
address = "Germany",

}

TY - GEN

T1 - Abstract interpretation based static analysis parameterized by semantics

AU - Cousot, Patrick

PY - 1997

Y1 - 1997

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

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

UR - http://www.scopus.com/inward/record.url?scp=34247338386&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34247338386&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783540634683

VL - 1302 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 388

EP - 394

BT - Static Analysis - 4th International Symposium, SAS 1997

PB - Springer Verlag

ER -