Systematic design of program transformation frameworks by abstract interpretation-Reference-Cited by-同舟云学术

Systematic design of program transformation frameworks by abstract interpretation

Published:2002-01 Issue:1 Volume:37 Page:178-190
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Cousot Patrick¹,Cousot Radhia²

Affiliation:

1. École normale supérieure, 75230 Paris cedex 05, France

2. École polytechnique, 91128 Palaiseau cedex, France

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/565816.503290

Reference31 articles.

1. C.Consel and C.Danvy.Tutorial notes on partial evaluation.20 th POPL 493 -501 1993 ACM Press. 10.1145/158511.158707 C.Consel and C.Danvy.Tutorial notes on partial evaluation.20 th POPL 493 -501 1993 ACM Press. 10.1145/158511.158707

2. On-line and off-line partial evaluation: semantic specifications and correctness proofs

3. P.Cousot and R.Cousot.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of .xpoints.4 th POPL 238 -252 1977 ACM Press. 10.1145/512950.512973 P.Cousot and R.Cousot.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of .xpoints.4 th POPL 238 -252 1977 ACM Press. 10.1145/512950.512973

4. determination of dynamic properties of recursive procedures.;Cousot P.;IFIP Conf.on Formal Description of Programming Concepts,1977

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Responsible composition and optimization of integration processes under correctness preserving guarantees;Information Systems;2024-09

2. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20

3. Research on the Quality of Automotive Electronic Software Based on Code Checking;2023 5th International Conference on Artificial Intelligence and Computer Applications (ICAICA);2023-11-28

4. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11

5. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09