Systematic design of program transformation frameworks by abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
Pages178-190
Number of pages13
StatePublished - 2002
EventPOPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Portland, OR, United States
Duration: Jan 16 2002Jan 18 2002

Other

OtherPOPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
CountryUnited States
CityPortland, OR
Period1/16/021/18/02

Fingerprint

Semantics
Monitoring
Chemical analysis

ASJC Scopus subject areas

  • Software

Cite this

Cousot, P., & Cousot, R. (2002). Systematic design of program transformation frameworks by abstract interpretation. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 178-190)

Systematic design of program transformation frameworks by abstract interpretation. / Cousot, Patrick; Cousot, Radhia.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 2002. p. 178-190.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P & Cousot, R 2002, Systematic design of program transformation frameworks by abstract interpretation. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. pp. 178-190, POPL 2002: 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, United States, 1/16/02.
Cousot P, Cousot R. Systematic design of program transformation frameworks by abstract interpretation. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 2002. p. 178-190
Cousot, Patrick ; Cousot, Radhia. / Systematic design of program transformation frameworks by abstract interpretation. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 2002. pp. 178-190
@inproceedings{4a6de21ed66643f09bcd9c58ce41e951,
title = "Systematic design of program transformation frameworks by abstract interpretation",
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.",
author = "Patrick Cousot and Radhia Cousot",
year = "2002",
language = "English (US)",
pages = "178--190",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

}

TY - GEN

T1 - Systematic design of program transformation frameworks by abstract interpretation

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0036036551&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036036551&partnerID=8YFLogxK

M3 - Conference contribution

SP - 178

EP - 190

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

ER -