Design of syntactic program transformations by abstract interpretation of semantic transformations

DOI10.1007/3-540-45635-X_3MaRDI QIDQ4736494zbMATH OpenFDO

Authors Patrick Cousot

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2237/22370004.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Syntactic program transformations for automatic abstraction
• scientific article; zbMATH DE number 4178791
• Transforming semantics by abstract interpretation
• Design and correctness of program transformations based on control-flow analysis

Cited in

(8)

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Syntactic program transformations for automatic abstraction
• Relational abstract domain of weighted hexagons
• Hygienic resugaring of compositional desugaring
• scientific article; zbMATH DE number 4178791 (Why is no real title available?)
• Systematic design of program transformation frameworks by abstract interpretation
• Transforming semantics by abstract interpretation
• A systematic approach to abstract interpretation of program transformations

This page was built for publication: Design of syntactic program transformations by abstract interpretation of semantic transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736494)