A language and framework for invariant-driven transformations

This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatically. The framework supports incremental maintenance of invariants for program design and optimization, as well as general transformations for instrumentation, refactoring, and other purposes. This paper also describes our implementations for transforming Python and C programs and experiments with successful applications of the systems in generating efficient implementations from clear and modular specifications, in instrumenting programs for runtime verification, profiling, and debugging, and in code refactoring. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques; D.2.3 [Software Engineering]: Coding Tools and Techniques; D.2.5 [Software Engineering]: Testing and Debugging; D.3.3 [Programming Languages]: Language Constructs and Features; D.3.4 [Programming Langua...

• Type: Conference
• Year: 2009
• Where: GPCE
• Authors: Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
• Keywords: GPCE 2009, Invariant Rules, Programming Languages, Software Engineering