{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:39Z","timestamp":1761611139727},"reference-count":24,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4441,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)80918-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"9-33","source":"Crossref","is-referenced-by-count":13,"title":["Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment"],"prefix":"10.1016","volume":"44","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[]},{"given":"Guido","family":"Wachsmuth","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB1","series-title":"Logic Programming and Automated Reasoning, LPAR'92, volume 624 of LNCS","first-page":"445","article-title":"Spes: A System for Logic Program Transformation","author":"Alexandre","year":"1992"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB2","author":"Attali","year":"1997","journal-title":"A language and an integrated environment for program transformations. Rapport de recherche 3313"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB3","unstructured":"J. A. Bergstra, J. Heering, and P. Klint. The Algebraic Specification Formalism ASF. In Algebraic Specification, chapter 1, pages 1\u201366. The ACM Press in cooperation with Addison-Wesley, 1989."},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB4","doi-asserted-by":"crossref","unstructured":"M.G.J. van den Brand, P. Klint, and J.J. Vinju. Term Rewriting with Traversal Functions. Technical report, CWI, Amsterdam, 2001. in preparation.","DOI":"10.1016\/S1571-0661(04)80602-9"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB5","doi-asserted-by":"crossref","unstructured":"M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: a component-based language development environment. In Compiler Construction 2001 (CC 2001), LNCS. Springer, 2001. To appear.","DOI":"10.1007\/3-540-45306-7_26"},{"issue":"2\u20133","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0167-6423(99)00037-4","article-title":"Generation of components for software renovation factories from context-free grammars","volume":"36","author":"van den Brand","year":"2000","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB7","unstructured":"J. Brunekreef. TransLog, an Interactive Tool for Transformation of Logic Programs. Technical Report P9512, University of Amsterdam, Programming Research Group, December 1995."},{"issue":"4","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB8","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/176454.176490","article-title":"Extending context-free grammars with permutation phrases","volume":"2","author":"Cameron","year":"1993","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"11","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/71605.71607","article-title":"The syntax definition formalism SDF \u2013- Reference manual","volume":"24","author":"Heering","year":"1989","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB10","unstructured":"IBM Corporation. VS COBOL II Application Programming Language Reference, 1993. Release 4, Document number GC26-4047-07."},{"issue":"2","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/151257.151260","article-title":"A meta-environment for generating programming environments","volume":"2","author":"Klint","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB12","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel. Grammar Adaptation. In Proc. Formal Methods Europe (FME) 2001, volume 2021 of LNCS, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45251-6_32"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB13","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel. Grammar Testing. In Proc. Fundamental Approaches to Software Engineering (FASE) 2001, volume 2029 of LNCS, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45314-8_15"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB14","doi-asserted-by":"crossref","unstructured":"R. L\u00e4mmel and C. Verhoef. Semi-automatic Grammar Recovery. Submitted, available at http:\/\/www.cwi.nl\/~ralf\/, July 2000.","DOI":"10.1002\/spe.423"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB15","doi-asserted-by":"crossref","unstructured":"I. Moore. Automatic Inheritance Hierarchy Restructuring and Method Refactoring. In Proc. OOPSLA '96: Object-Oriented Programming Systems, Languages, and Applications, pages 235\u2013250. ACM Press, 1996.","DOI":"10.1145\/236337.236361"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB16","series-title":"Specification and Transformation of Programs","author":"Partsch","year":"1990"},{"issue":"2","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB17","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1145\/234528.234529","article-title":"Rules and Strategies for Transforming Functional and Logic Programs","volume":"28","author":"Pettorossi","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB18","unstructured":"J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992."},{"issue":"4","key":"10.1016\/S1571-0661(04)80918-6_NEWBIB19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1002\/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.0.CO;2-T","article-title":"A Refactoring Tool for Smalltalk","volume":"3","author":"Roberts","year":"1997","journal-title":"Theory and Practice of Object Systems (TAPOS)"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB20","doi-asserted-by":"crossref","unstructured":"A. Sellink and C. Verhoef. Development, Assessment, and Reengineering of Language Descriptions. In J. Ebert and C. Verhoef, editors, Proc. Fourth European Conference on Software Maintenance and Reengineering, pages 151\u2013160. IEEE Computer Society, March 2000.","DOI":"10.1109\/CSMR.2000.827323"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB21","series-title":"Efficient Parsing for Natural Languages. A Fast Algorithm for Practical Systems","author":"Tomita","year":"1985"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB22","unstructured":"E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997."},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB23","doi-asserted-by":"crossref","unstructured":"D.S. Wile. Abstract Syntax From Concrete Syntax. In Proc. of the 1997 International Conference on Software Engineering, pages 472\u2013480. ACM Press, 1997.","DOI":"10.1145\/253228.253388"},{"key":"10.1016\/S1571-0661(04)80918-6_NEWBIB24","unstructured":"XT: Program Transformation Tools, 2000-2001. http\/\/www.program-transformation.org\/xt\/."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809186?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809186?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:40:20Z","timestamp":1682768420000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S1571066104809186"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80918-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}