A case study in abstract interpretation based program transformation: Blocking command elimination

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'A case study in abstract interpretation based program transformation: Blocking command elimination'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science