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.

Partial completeness of abstract fixpoint checking. / Cousot, Patrick.

Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000. ed. / B. Choueiry; T. Walsh. Springer, 2000. p. 1-25 (Lecture Notes in Artificial Intelligence 1864).

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

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. Lecture Notes in Artificial Intelligence 1864, Springer, pp. 1-25.
Cousot P. Partial completeness of abstract fixpoint checking. In Choueiry B, Walsh T, editors, Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000. Springer. 2000. p. 1-25. (Lecture Notes in Artificial Intelligence 1864).
Cousot, Patrick. / Partial completeness of abstract fixpoint checking. Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000. editor / B. Choueiry ; T. Walsh. Springer, 2000. pp. 1-25 (Lecture Notes in Artificial Intelligence 1864).
@inproceedings{b121f47959394c3086dfbd05e32cf84b,
title = "Partial completeness of abstract fixpoint checking",
author = "Patrick Cousot",
year = "2000",
language = "English (US)",
series = "Lecture Notes in Artificial Intelligence 1864",
publisher = "Springer",
pages = "1--25",
editor = "B. Choueiry and T. Walsh",
booktitle = "Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000",

}

TY - GEN

T1 - Partial completeness of abstract fixpoint checking

AU - Cousot, Patrick

PY - 2000

Y1 - 2000

M3 - Conference contribution

T3 - Lecture Notes in Artificial Intelligence 1864

SP - 1

EP - 25

BT - Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000

A2 - Choueiry, B.

A2 - Walsh, T.

PB - Springer

ER -