Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
1995

Formal language, grammar and set-constraint-based program analysis by abstract interpretation

Cousot, P. & Cousot, R., 1995, p. 170-181. 12 p.

Research output: Contribution to conferencePaper

1977

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Cousot, P. & Cousot, R., Aug 15 1977, p. 1-12. 12 p.

Research output: Contribution to conferencePaper

Static determination of dynamic properties of generalized type unions

Cousot, P. & Cousot, R., Mar 1 1977, p. 77-94. 18 p.

Research output: Contribution to conferencePaper