Abstract interpretation of algebraic polynomial systems

Patrick Cousot, Radhia Cousot

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

Abstract

We define a hierarchy of compositional formal semantics of algebraic polynomial systems over F-algebras by abstract interpretation. This generalizes classical formal language theoretical results and context-free grammar flow-analysis algorithms in the same uniform framework of universal algebra and abstract interpretation.

Original languageEnglish (US)
Title of host publicationAlgebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings
PublisherSpringer Verlag
Pages138-154
Number of pages17
Volume1349
ISBN (Print)3540638881, 9783540638889
StatePublished - 1997
Event6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 - Sydney, Australia
Duration: Dec 13 1997Dec 17 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1349
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other6th International Algebraic Methodology and Software Technology Conference, AMAST 1997
CountryAustralia
CitySydney
Period12/13/9712/17/97

Fingerprint

Algebraic Polynomial
Abstract Interpretation
Polynomial Systems
Algebra
Polynomials
Context free grammars
F-algebra
Universal Algebra
Formal languages
Algorithm Analysis
Context-free Grammar
Formal Semantics
Formal Languages
Semantics
Generalise
Framework
Hierarchy

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Cousot, P., & Cousot, R. (1997). Abstract interpretation of algebraic polynomial systems. In Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings (Vol. 1349, pp. 138-154). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1349). Springer Verlag.

Abstract interpretation of algebraic polynomial systems. / Cousot, Patrick; Cousot, Radhia.

Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Vol. 1349 Springer Verlag, 1997. p. 138-154 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1349).

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

Cousot, P & Cousot, R 1997, Abstract interpretation of algebraic polynomial systems. in Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. vol. 1349, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1349, Springer Verlag, pp. 138-154, 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997, Sydney, Australia, 12/13/97.
Cousot P, Cousot R. Abstract interpretation of algebraic polynomial systems. In Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Vol. 1349. Springer Verlag. 1997. p. 138-154. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Cousot, Patrick ; Cousot, Radhia. / Abstract interpretation of algebraic polynomial systems. Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Vol. 1349 Springer Verlag, 1997. pp. 138-154 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{ea869e6aa679417ebae20847d4b9f269,
title = "Abstract interpretation of algebraic polynomial systems",
abstract = "We define a hierarchy of compositional formal semantics of algebraic polynomial systems over F-algebras by abstract interpretation. This generalizes classical formal language theoretical results and context-free grammar flow-analysis algorithms in the same uniform framework of universal algebra and abstract interpretation.",
author = "Patrick Cousot and Radhia Cousot",
year = "1997",
language = "English (US)",
isbn = "3540638881",
volume = "1349",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "138--154",
booktitle = "Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings",

}

TY - GEN

T1 - Abstract interpretation of algebraic polynomial systems

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1997

Y1 - 1997

N2 - We define a hierarchy of compositional formal semantics of algebraic polynomial systems over F-algebras by abstract interpretation. This generalizes classical formal language theoretical results and context-free grammar flow-analysis algorithms in the same uniform framework of universal algebra and abstract interpretation.

AB - We define a hierarchy of compositional formal semantics of algebraic polynomial systems over F-algebras by abstract interpretation. This generalizes classical formal language theoretical results and context-free grammar flow-analysis algorithms in the same uniform framework of universal algebra and abstract interpretation.

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

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

M3 - Conference contribution

SN - 3540638881

SN - 9783540638889

VL - 1349

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

SP - 138

EP - 154

BT - Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings

PB - Springer Verlag

ER -