{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:12Z","timestamp":1750308132895,"version":"3.41.0"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2006,5,1]],"date-time":"2006-05-01T00:00:00Z","timestamp":1146441600000},"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":["XRDS"],"published-print":{"date-parts":[[2006,5]]},"DOI":"10.1145\/1144366.1144369","type":"journal-article","created":{"date-parts":[[2009,1,8]],"date-time":"2009-01-08T13:15:38Z","timestamp":1231420538000},"page":"3-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["C-Transformers"],"prefix":"10.1145","volume":"12","author":[{"given":"Alexandre","family":"Borghi","sequence":"first","affiliation":[]},{"given":"Valentin","family":"David","sequence":"additional","affiliation":[]},{"given":"Akim","family":"Demaille","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2006,5]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"1\n    Stratego Language Home Page. http:\/\/www.stratego-language.org.  1 Stratego Language Home Page. http:\/\/www.stratego-language.org."},{"key":"e_1_2_1_2_1","unstructured":"2\n    Arthur Baars Doaitse Swierstra and Andres L\u00f6h. UU-AG System 1999. http:\/\/www.cs.uu.nl\/wiki\/Center\/AttributeGrammarSystem.  2 Arthur Baars Doaitse Swierstra and Andres L\u00f6h. UU-AG System 1999. http:\/\/www.cs.uu.nl\/wiki\/Center\/AttributeGrammarSystem."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238032"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_10"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"volume-title":"Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL)","year":"2003","author":"Burrus Nicolas","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","unstructured":"7\n    Lawrence Crowl and Thorsten Ottosen. Proposal to add contract programming to C++ (revision 3). http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2005\/n1866.html August 2005.  7 Lawrence Crowl and Thorsten Ottosen. Proposal to add contract programming to C++ (revision 3). http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2005\/n1866.html August 2005."},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"8\n   \n    \n       \n      \n      JongeMerijn\n       \n      de Jonge\n     and \n      \n      \n      Joost\n       \n      Visser\n    .\n      \n  \n   \n  Grammars as contracts. In Greg Butler and Stan Jarzabek editors Generative and Component-Based Software Engineering Second International Symposion GCSE\n   \n  2000 volume \n  2177\n   of \n  Lecture Notes in Computer Science pages \n  85\n  --\n  99 Erfurt Germany October 2001. \n  Springer\n  .   8 JongeMerijn de Jonge and Joost Visser. Grammars as contracts. In Greg Butler and Stan Jarzabek editors Generative and Component-Based Software Engineering Second International Symposion GCSE 2000 volume 2177 of Lecture Notes in Computer Science pages 85--99 Erfurt Germany October 2001. Springer.","DOI":"10.1007\/3-540-44815-2_7"},{"volume-title":"Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000)","year":"2000","author":"de Jonge Merijn","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","first-page":"653","volume-title":"Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)--Young Researchers Workshop; published in \"Net.ObjectDays2000\"","author":"Duret-Lutz Alexandre","year":"2000"},{"key":"e_1_2_1_11_1","unstructured":"11\n    ISE Software. Building bug-free O-O software: An introduction to design by contract(TM). http:\/\/archive.eiffel.com\/doc\/manuals\/technology\/contract\/page.html 1993.  11 ISE Software. Building bug-free O-O software: An introduction to design by contract(TM). http:\/\/archive.eiffel.com\/doc\/manuals\/technology\/contract\/page.html 1993."},{"key":"e_1_2_1_12_1","unstructured":"12\n    ISO\/IEC. ISO\/IEC 9899:1999 (E). Programming languages - C 1999.  12 ISO\/IEC. ISO\/IEC 9899:1999 (E). Programming languages - C 1999."},{"key":"e_1_2_1_13_1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"M. G. J. van den Brand and D","author":"Jonge Merijn Jongede","year":"2001"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.562936"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of Implementation and Application of Automata, 8th International Conference (CIAA)","volume":"2759","author":"Lombardy Sylvain","year":"2003"},{"key":"e_1_2_1_17_1","unstructured":"17\n    LRDE - EPITA Research and Developpement Laboratory. Transformers home page 2005. http:\/\/transformers.lrde.epita.fr.  17 LRDE - EPITA Research and Developpement Laboratory. Transformers home page 2005. http:\/\/transformers.lrde.epita.fr."},{"key":"e_1_2_1_18_1","unstructured":"18\n    LRDE. Olena home page 1999. http:\/\/olena.lrde.epita.fr\/.  18 LRDE. Olena home page 1999. http:\/\/olena.lrde.epita.fr\/."},{"key":"e_1_2_1_19_1","unstructured":"19\n    LRDE. Tiger project home page 2000. http:\/\/tiger.lrde.epita.fr\/.  19 LRDE. Tiger project home page 2000. http:\/\/tiger.lrde.epita.fr\/."},{"key":"e_1_2_1_20_1","unstructured":"20\n    LRDE. Vaucanson home page 2001. http:\/\/vaucanson.lrde.epita.fr\/.  20 LRDE. Vaucanson home page 2001. http:\/\/vaucanson.lrde.epita.fr\/."},{"volume-title":"USA","year":"2000","author":"Meyer Bertrand","key":"e_1_2_1_21_1"},{"key":"e_1_2_1_22_1","unstructured":"22\n    George C. Necula. CIL home page 2005. http:\/\/sourceforge.net\/projects\/cil.  22 George C. Necula. CIL home page 2005. http:\/\/sourceforge.net\/projects\/cil."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_2_1_24_1","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"20","volume-title":"Workshop on Reduction Strategies (WRS'02)","author":"Olmos Karina","year":"2002"},{"volume-title":"Kluwer Academic Publishers","year":"1985","author":"Tomita Masaru","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200003)30:3%3C259::AID-SPE298%3E3.0.CO;2-Y"},{"key":"e_1_2_1_27_1","doi-asserted-by":"crossref","unstructured":"27\n   \n    \n       \n      \n      BrandMark\n       \n      van den Brand Steven\n       \n      Klusener Leon\n       \n      Moonen and \n      \n      \n      Jurgen J.\n       \n      Vinju\n      \n  \n  . \n  Generalized parsing and term rewriting: Semantics driven disambiguation\n  . volume \n  82\n   of \n  Electronic Notes in Theoretical Computer Science\n  . \n  Elsevier Science Publishers 2003\n  .  27 BrandMark van den Brand Steven Klusener Leon Moonen and Jurgen J. Vinju. Generalized parsing and term rewriting: Semantics driven disambiguation. volume 82 of Electronic Notes in Theoretical Computer Science . Elsevier Science Publishers 2003.","DOI":"10.1016\/S1571-0661(05)82629-5"},{"volume-title":"Trento","year":"1999","author":"Visser Eelco","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","unstructured":"31\n    Eelco Visser. Tiger in Stratego 2002. http:\/\/www.program-transformation.org\/Tiger\/WebHome.  31 Eelco Visser. Tiger in Stratego 2002. http:\/\/www.program-transformation.org\/Tiger\/WebHome."},{"key":"e_1_2_1_32_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"C. Lengauer et al.","author":"Visser Eelco","year":"2004"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.037"},{"key":"e_1_2_1_34_1","first-page":"199","volume-title":"Langages et Mod\u00e8les \u00e0 Objets (LMO)","author":"Ziane Mikal","year":"2001"}],"container-title":["XRDS: Crossroads, The ACM Magazine for Students"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1144366.1144369","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1144366.1144369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:30Z","timestamp":1750262910000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1144366.1144369"}},"subtitle":["a framework to write C program transformations"],"short-title":[],"issued":{"date-parts":[[2006,5]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,5]]}},"alternative-id":["10.1145\/1144366.1144369"],"URL":"https:\/\/doi.org\/10.1145\/1144366.1144369","relation":{},"ISSN":["1528-4972","1528-4980"],"issn-type":[{"type":"print","value":"1528-4972"},{"type":"electronic","value":"1528-4980"}],"subject":[],"published":{"date-parts":[[2006,5]]},"assertion":[{"value":"2006-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}