Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
A language and framework for invariant-driven transformations
GPCE, 2009.
@inproceedings{GPCE-2009-LiuGS, author = "Yanhong A. Liu and Michael Gorbovitski and Scott D. Stoller", booktitle = "{Proceedings of the Eighth International Conference on Generative Programming and Component Engineering}", doi = "10.1145/1621607.1621617", isbn = "978-1-60558-494-2", pages = "55--64", publisher = "{ACM}", title = "{A language and framework for invariant-driven transformations}", year = 2009, }