Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference article


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-to-transformed 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.

Original languageEnglish (US)
Pages (from-to)178-190
Number of pages13
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
StatePublished - Sep 23 2002
EventPOPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Portland, OR, United States
Duration: Jan 16 2002Jan 18 2002


ASJC Scopus subject areas

  • Software

Cite this