Systematic Design of Program Transformation Frameworks by Abstract Interpretation

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

by Patrick Cousot , Radhia Cousot

Citations:

44 - 5 self

User correction supplied by mph

Datum	Value	Source
TITLE	Systematic Design of Program Transformation Frameworks by Abstract Interpretation	user correction
AUTHOR NAME	Patrick Cousot	user correction
AUTHOR AFFIL	Département d’informatique	user correction
AUTHOR ADDR	École normale supérieure, 45 rue d’Ulm; 75230 Paris cedex 05, France	user correction
AUTHOR NAME	Radhia Cousot	user correction
AUTHOR AFFIL	Laboratoire d’informatique; École polytechnique	user correction
AUTHOR ADDR	91128 Palaiseau cedex, France	user correction
ABSTRACT	We introduce a general uniform language-independent framework for designing online and offline source-to-source program transformations by abstract interpretation of program semantics. Iterative source-to-source program transformations are designed constructively by composition of source-to-semantics, semantics-totransformed semantics and semantics-to-source abstractions applied to fixpoint trace semantics. The correctness of the transformations is expressed through observational and performance abstractions. The framework is illustrated on three examples: constant propagation, program specialization by online and offline partial evaluation and static program monitoring.	user correction
YEAR	2002	user correction
CITATIONS	31 found	ParsCit 1.0