Partial completeness of abstract fixpoint checking

Patrick Cousot

Partial completeness of abstract fixpoint checking

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000
Editors	B. Choueiry, T. Walsh
Publisher	Springer
Pages	1-25
State	Published - 2000

Publication series

Name	Lecture Notes in Artificial Intelligence 1864

Cite this

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 proceeding › Conference contribution

@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 -