Patrick Cousot

发表

A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination

Radhia Cousot, Patrick Cousot, 2001, MFPS.

Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

Radhia Cousot, Patrick Cousot, P. Cousot, 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).

Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

Patrick Cousot, 2001 .

Program Analysis Is Harder Than Verification: A Computability Perspective

Roberto Giacobazzi, Francesco Ranzato, Patrick Cousot, 2018, CAV.

"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs

Radhia Cousot, Patrick Cousot, P. Cousot, 1993, Theor. Comput. Sci..