Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference article

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-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
DOIs
StatePublished - 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

Fingerprint Dive into the research topics of 'Systematic design of program transformation frameworks by abstract interpretation'. Together they form a unique fingerprint.

  • Cite this