Abstract Interretation of Algebraic Polynomial Systems

摘要

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