{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:40Z","timestamp":1772164000455,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,4]],"date-time":"2009-10-04T00:00:00Z","timestamp":1254614400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,4]]},"DOI":"10.1145\/1621607.1621617","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T14:23:22Z","timestamp":1254839002000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A language and framework for invariant-driven transformations"],"prefix":"10.1145","author":[{"given":"Yanhong A.","family":"Liu","sequence":"first","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gorbovitski","sequence":"additional","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Role-Based Access Control. ANSI INCITS 359-2004","author":"ANSI","year":"2004","unstructured":"ANSI INCITS. Role-Based Access Control. ANSI INCITS 359-2004 , American National Standards Institute , International Committee for Information Technology Standards, Feb. 2004 . ANSI INCITS. Role-Based Access Control. ANSI INCITS 359-2004, American National Standards Institute, International Committee for Information Technology Standards, Feb. 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.21743"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 2007 GCC Developers' Summit","author":"Callanan Sean","year":"2007","unstructured":"Sean Callanan , Daniel J. Dean , and Erez Zadok . Extending GCC with modular GIMPLE optimizations . In Proceedings of the 2007 GCC Developers' Summit , July 2007 . Sean Callanan, Daniel J. Dean, and Erez Zadok. Extending GCC with modular GIMPLE optimizations. In Proceedings of the 2007 GCC Developers' Summit, July 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158639"},{"key":"e_1_3_2_1_6_1","first-page":"229","volume-title":"Proceedings of the Conference on Domain-Specific Languages","author":"Crew Roger F.","year":"1997","unstructured":"Roger F. Crew . ASTLOG : A language for examining abstract syntax trees . In Proceedings of the Conference on Domain-Specific Languages , pages 229 -- 242 , Oct. 1997 . Roger F. Crew. ASTLOG: A language for examining abstract syntax trees. In Proceedings of the Conference on Domain-Specific Languages, pages 229--242, Oct. 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094841"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1401827.1401837"},{"key":"e_1_3_2_1_9_1","first-page":"174","volume-title":"Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation","author":"Gorbovitski Michael","year":"2008","unstructured":"Michael Gorbovitski , K. Tuncay Tekle , Tom Rothamel , Scott D. Stoller , and Yanhong A. Liu . Analysis and transformations for efficient querybased debugging . In Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation , pages 174 -- 183 , Sept. 2008 b. Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, and Yanhong A. Liu. Analysis and transformations for efficient querybased debugging. In Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation, pages 174--183, Sept. 2008b."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-005-7005-6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094848"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111562"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Joint 6th International Conference on Programming Languages: Implementations, Logics and Programs and 4th International Conference on Algebraic and Logic Programming","author":"Paige Robert","year":"1994","unstructured":"Robert Paige . Viewing a program transformation system at work . In Proceedings of Joint 6th International Conference on Programming Languages: Implementations, Logics and Programs and 4th International Conference on Algebraic and Logic Programming , 1994 . Robert Paige. Viewing a program transformation system at work. In Proceedings of Joint 6th International Conference on Programming Languages: Implementations, Logics and Programs and 4th International Conference on Algebraic and Logic Programming, 1994."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357177"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356917"},{"key":"e_1_3_2_1_20_1","unstructured":"ProgramTransformationOrg. The Program Transformation Wiki. http:\/\/www.program-transformation.org.  ProgramTransformationOrg. The Program Transformation Wiki. http:\/\/www.program-transformation.org."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449923"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233833.1233835"},{"key":"e_1_3_2_1_24_1","first-page":"270","volume-title":"Automatic Program Development: A Tribute to Robert Paige","author":"Smith Douglas R.","year":"2008","unstructured":"Douglas R. Smith . Aspects as invariants . In O. Danvy, H. Mairson, F Henglein, and A. Pettorossi, editors, Automatic Program Development: A Tribute to Robert Paige , pages 270 -- 286 . Springer , 2008 . Douglas R. Smith. Aspects as invariants. In O. Danvy, H. Mairson, F Henglein, and A. Pettorossi, editors, Automatic Program Development: A Tribute to Robert Paige, pages 270--286. Springer, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.011"}],"event":{"name":"GPCE'09: Generative Programming and Component Engineering","location":"Denver Colorado USA","acronym":"GPCE'09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eighth international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621617","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1621607.1621617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:46Z","timestamp":1750234666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,4]]},"references-count":24,"alternative-id":["10.1145\/1621607.1621617","10.1145\/1621607"],"URL":"https:\/\/doi.org\/10.1145\/1621607.1621617","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837852.1621617","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,4]]},"assertion":[{"value":"2009-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}