TY - GEN
T1 - A language and framework for invariant-driven transformations
AU - Liu, Yanhong A.
AU - Gorbovitski, Michael
AU - Stoller, Scott D.
PY - 2009
Y1 - 2009
N2 - This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declara-tively, 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.
AB - This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declara-tively, 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.
UR - https://www.scopus.com/pages/publications/70450206920
U2 - 10.1145/1621607.1621617
DO - 10.1145/1621607.1621617
M3 - Conference contribution
AN - SCOPUS:70450206920
SN - 9781605588629
T3 - GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering
SP - 55
EP - 64
BT - GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering
T2 - 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering, GPCE'09
Y2 - 4 October 2009 through 5 October 2009
ER -