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
EditorsMichael Johnson
PublisherSpringer Verlag
Pages138-154
Number of pages17
ISBN (Print)3540638881, 9783540638889
DOIs
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Abstract interpretation of algebraic polynomial systems'. Together they form a unique fingerprint.

Cite this