Content type
Research output
Search results
-
Premieres lecons de programmation en Turbo Pascal (in French)
Cousot, L., Cousot, P., Cousot, R. & Cousot, T., 1991, Paris, France: McGraw-Hill. 297 p.Research output: Book/Report › Book
-
Automatic synthesis of optimal invariant assertions: Mathematical foundations
Cousot, P. & Cousot, R., Aug 15 1977, p. 1-12. 12 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Interpretation abstraite (in French)
Cousot, P., Jan 2000, In: Technique et Science Informatique. 19, 1-2-3, p. 155-164Research output: Contribution to journal › Article › peer-review
-
Thesis: These de docteur-ingenieur: Definition interpretative et implantation de langages de programmation (in French)
Cousot, P., Dec 14 1974, Grenoble, France: Universite scientifique et medicale de Grenoble.Research output: Book/Report › Other report
-
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
-
Induction principles for proving invariance properties of programs
Cousot, P. & Cousot, R., 1982, Tools & notions for program construction. Neel, D. (ed.). Cambridge University Press, p. 43-119Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review