Content type
Research output
Search results
-
Static determination of dynamic properties of programs
Cousot, P. & Cousot, R., 1976, Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, p. 106-130Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Methods and logics for proving programs
Cousot, P., 1990, Formal models and semantics. van Leeuwen, J. (ed.). Elsevier, p. 843-993 Chapter 15. (Handbook of Theoretical Computer Science; vol. B).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Abstract interpretation based formal methods and future challenges
Cousot, P., 2001, Informatics - 10 years back, 10 years ahead. Wilhelm, R. (ed.). Springer, p. 138-156 (LNCS; vol. 2000).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Constructing program invariance proof methods
Cousot, P. & Cousot, R., 1980, International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13. p. 8-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic synthesis of optimal invariant assertions: Mathematical foundations
Cousot, P. & Cousot, R., 1977, ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA. ACM, p. 1-12 (ACM SIGPLAN Notices; vol. 12, no. 8).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
The calculational design of a generic abstract interpreter
Cousot, P., 1999, Calculational system design. Broy, M. & Steinbruggen, R. (eds.). IOS Press, p. 421-505 (NATO Science Series, Series F: Computer and Systems Sciences; vol. 173).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review