Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller. A language and framework for invariant-driven transformations. In Jeremy G. Siek, Bernd Fischer, editors, Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. pages 55-64, ACM, 2009. [doi]
Abstract is missing.