@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",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 ; Conference date: 13-12-1997 Through 17-12-1997",
year = "1997",
doi = "10.1007/bfb0000468",
language = "English (US)",
isbn = "3540638881",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "138--154",
editor = "Michael Johnson",
booktitle = "Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings",
}