Partial completeness of abstract fixpoint checking

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

Original languageEnglish (US)
Title of host publicationProceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000
EditorsB. Choueiry, T. Walsh
PublisherSpringer
Pages1-25
StatePublished - 2000

Publication series

NameLecture Notes in Artificial Intelligence 1864

Cite this

Cousot, P. (2000). Partial completeness of abstract fixpoint checking. In B. Choueiry, & T. Walsh (Eds.), Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000 (pp. 1-25). (Lecture Notes in Artificial Intelligence 1864). Springer.