Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.

Patrick Cousot

Browse the full ICLP paper archive.