{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:59:46Z","timestamp":1770296386624,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662442012","type":"print"},{"value":"9783662442029","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_20","type":"book-chapter","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T22:01:13Z","timestamp":1405548073000},"page":"489-514","source":"Crossref","is-referenced-by-count":10,"title":["Capture-Avoiding and Hygienic Program Transformations"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Erdweg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Barzilay, E., Culpepper, R., Flatt, M.: Keeping it clean with syntax parameters. In: Scheme (2011)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Bawden, A., Rees, J.: Syntactic closures. In: LFP, pp. 86\u201395. ACM (1988)","DOI":"10.1145\/62678.62687"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Clinger, W., Rees, J.: Macros that work. In: POPL, pp. 155\u2013162. ACM (1991)","DOI":"10.1145\/99583.99607"},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"issue":"5","key":"20_CR5","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"75","author":"N.G. Bruijn de","year":"1972","unstructured":"de Bruijn, N.G.: Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Mathematicae\u00a075(5), 381\u2013392 (1972)","journal-title":"Indagationes Mathematicae"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"de Jonge, M., Visser, E.: A language generic solution for name binding preservation in refactorings. In: LDTA. ACM (2012)","DOI":"10.1145\/2427048.2427050"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01806308","volume":"5","author":"R.K. Dybvig","year":"1992","unstructured":"Dybvig, R.K., Hieb, R., Bruggeman, C.: Syntactic abstraction in scheme. Lisp and Symbolic Computation\u00a05(4), 295\u2013326 (1992)","journal-title":"Lisp and Symbolic Computation"},{"key":"20_CR8","unstructured":"Erdweg, S.: Extensible Languages for Flexible and Principled Domain Abstraction. PhD thesis, Philipps-Universit\u00e4t Marburg (2013)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Erdweg, S., van der Storm, T., Dai, Y.: Capture-avoiding and hygienic program transformations (incl. proofs). CoRR, abs\/1404.5770 (2014)","DOI":"10.1007\/978-3-662-44202-9_20"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-02654-1_11","volume-title":"Software Language Engineering","author":"S. Erdweg","year":"2013","unstructured":"Erdweg, S., et al.: The state of the art in language workbenches. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol.\u00a08225, pp. 197\u2013217. Springer, Heidelberg (2013)"},{"key":"20_CR11","unstructured":"Herman, D.: A Theory of Typed Hygienic Macros. PhD thesis, Northeastern University, Boston, Massachusetts (2012)"},{"key":"20_CR12","unstructured":"Izmaylova, A., Klint, P., Shahi, A., Vinju, J.: M3: An open model for measuring source code artifacts. arXiv:1312.1188, BENEVOL 2013 (2013)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1985","unstructured":"Johnsson, T.: Lambda lifting: Transforming programs to recursive equations. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 190\u2013203. Springer, Heidelberg (1985)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: Rascal: A domain-specific language for source code analysis and manipulation. In: SCAM, pp. 168\u2013177 (2009)","DOI":"10.1109\/SCAM.2009.28"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Kohlbecker, E., Friedman, D.P., Felleisen, M., Duba, B.: Hygienic macro expansion. In: LFP, pp. 151\u2013161. ACM (1986)","DOI":"10.1145\/319838.319859"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-642-31057-7_26","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"B. Lee","year":"2012","unstructured":"Lee, B., Grimm, R., Hirzel, M., McKinley, K.S.: Marco: Safe, expressive macros for any language. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 589\u2013613. Springer, Heidelberg (2012)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"B.C.: d.\u00a0S. Oliveira and A.\u00a0L\u00f6h. Abstract syntax graphs for domain specific languages. In: PEPM, pp. 87\u201396. ACM (2013)","DOI":"10.1145\/2426890.2426909"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-36089-3_5","volume-title":"Software Language Engineering","author":"R.F. Paige","year":"2013","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.C.: Metamodelling for grammarware researchers. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 64\u201382. Springer, Heidelberg (2013)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Elliott, C.: Higher-order abstract syntax. In: PLDI, pp. 199\u2013208. ACM (1988)","DOI":"10.1145\/960116.54010"},{"issue":"3","key":"20_CR20","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T. Reps","year":"1983","unstructured":"Reps, T., Teitelbaum, T., Demers, A.: Incremental context-dependent analysis for language-based editors. TOPLAS\u00a05(3), 449\u2013477 (1983)","journal-title":"TOPLAS"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Ekman, T., de Moor, O.: Sound and extensible renaming for Java. In: OOPSLA, pp. 227\u2013294. ACM (2008)","DOI":"10.1145\/1449764.1449787"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44806-3_2","volume-title":"Semantics, Applications, and Implementation of Program Generation","author":"T. Sheard","year":"2001","unstructured":"Sheard, T.: Accomplishments and research challenges in meta-programming. In: Taha, W. (ed.) SAIG 2001. LNCS, vol.\u00a02196, pp. 2\u201344. Springer, Heidelberg (2001)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Shinwell, M.R., Pitts, A.M., Gabbay, M.J.: FreshML: Programming with binders made simple. In: ICFP, pp. 263\u2013274. ACM (2003)","DOI":"10.1145\/944746.944729"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/3-540-40048-6_6","volume-title":"Generative and Component-Based Software Engineering","author":"M. Macko","year":"2000","unstructured":"Macko, M., Batory, D.: Scoping constructs for software generators. In: Czarnecki, K. (ed.) GCSE 1999. LNCS, vol.\u00a01799, pp. 65\u201378. Springer, Heidelberg (2000)"},{"key":"20_CR25","unstructured":"Valdera, P.I., van der Storm, T., Erdweg, S.: Tracing model transformations with string origins. In: ICMT. Springer (to appear, 2014)"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"van den Bos, J., van der Storm, T.: Bringing domain-specific languages to digital forensics. In: ICSE, pp. 671\u2013680. ACM (2011)","DOI":"10.1145\/1985793.1985887"},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A. Deursen van","year":"1993","unstructured":"van Deursen, A., Klint, P., Tip, F.: Origin tracking. Symbolic Computation\u00a015, 523\u2013545 (1993)","journal-title":"Symbolic Computation"},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-319-02654-1_15","volume-title":"Software Language Engineering","author":"G. Wachsmuth","year":"2013","unstructured":"Wachsmuth, G., Konat, G.D.P., Vergu, V.A., Groenewegen, D.M., Visser, E.: A language independent task engine for incremental name and type analysis. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol.\u00a08225, pp. 260\u2013280. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T05:04:53Z","timestamp":1649653493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}