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

Patrick Cousot, Radhia Cousot

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Formal language, grammar and set-constraint-based program analysis by abstract interpretation'. Together they form a unique fingerprint.

Engineering & Materials Science