Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints'. Together they form a unique fingerprint.