Systematic Design of Program Transformation Frameworks by Abstract Interpretation (2002)

by Patrick Cousot , Radhia Cousot
Citations:57 - 5 self

Document Versions

Systematic Design of Program Transformation Frameworks by Abstract Interpretation –Patrick Cousot, Radhia Cousot — 2002
Systematic Design of Program Transformation Frameworks by Abstract Interpretation –Patrick Cousot, Radhia Cousot — 2002
Systematic Design of Program Transformation Frameworks by Abstract Interpretation –Patrick Cousot, Radhia Cousot — 2002 — In Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages