{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:48:48Z","timestamp":1725472128454},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457787"},{"type":"electronic","value":"9783540462354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11877028_9","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:27:39Z","timestamp":1162474059000},"page":"278-296","source":"Crossref","is-referenced-by-count":1,"title":["Applications of the Asf+Sdf Meta-Environment"],"prefix":"10.1007","author":[{"given":"M. G. J.","family":"van den Brand","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-54572-7","volume-title":"Attribute Grammars, Applications and Systems","author":"H. Alblas","year":"1991","unstructured":"Alblas, H.: Introduction to attribute grammars. In: Alblas, H., Melichar, B. (eds.) SAGA School 1991. LNCS, vol.\u00a0545, pp. 1\u201315. Springer, Heidelberg (1991)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/ICSE.2004.1317484","volume-title":"ICSE 2004: Proceedings of the 26th International Conference on Software Engineering","author":"I.D. Baxter","year":"2004","unstructured":"Baxter, I.D., Pidgeon, C., Mehlich, M.: DMS: Program transformations for practical scalable software evolution. In: ICSE 2004: Proceedings of the 26th International Conference on Software Engineering, pp. 625\u2013634. IEEE Computer Society Press, Washington (2004)"},{"doi-asserted-by":"crossref","unstructured":"van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming (to appear, 2005)","key":"9_CR3","DOI":"10.1016\/j.jlap.2005.10.005"},{"unstructured":"Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic Specification. ACM Press\/Addison-Wesley (1989)","key":"9_CR4"},{"issue":"2-3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","volume":"31","author":"J.A. Bergstra","year":"1998","unstructured":"Bergstra, J.A., Klint, P.: The discrete time ToolBus \u2013 a software coordination architecture. Science of Computer Programming\u00a031(2-3), 205\u2013229 (1998)","journal-title":"Science of Computer Programming"},{"key":"9_CR6","series-title":"ENTCS","volume-title":"WRLA","author":"P. Borovansk\u00fd","year":"1998","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An overview of ELAN. In: Kirchner, C., Kirchner, H. (eds.) WRLA. ENTCS, vol.\u00a015. Elsevier Sciences, Amsterdam (1998)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a component-based language development environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014303","volume-title":"Algebraic Methodology and Software Technology","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., van Deursen, A., Klint, P., Klusener, S., van den Meulen, E.A.: Industrial applications of ASF+SDF. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101. Springer, Heidelberg (1996)"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M.G.J. Brand van den","year":"2002","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment. Science of Computer Programming (to appear, 2005)","key":"9_CR10","DOI":"10.1016\/j.entcs.2004.06.002"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., de Jong, H.A., Klint, P., Olivier, P.: Efficient annotated terms. Software, Practice & Experience\u00a030, 259\u2013291 (2000)","journal-title":"Software, Practice & Experience"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/941566.941568","volume":"12","author":"M.G.J. Brand van den","year":"2003","unstructured":"van den Brand, M.G.J., Klint, P., Vinju, J.J.: Term rewriting with traversal functions. ACM Transactions on Software Engineering and Methodology\u00a012(2), 152\u2013190 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Kooiker, A.T., Veerman, N.P., Vinju, J.J.: An industrial application of context-sensitive formatting. Technical Report SEN-R0510, Centrum voor Wiskunde en Informatica (CWI), Amsterdam (2005)","key":"9_CR13","DOI":"10.1109\/ICSM.2005.17"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1049\/ip-sen:20041181","volume":"152","author":"M.G.J. Brand van den","year":"2005","unstructured":"van den Brand, M.G.J., Moreau, P.-E., Vinju, J.J.: A generator of efficient strongly typed abstract syntax trees in java. IEEE Proceedings \u2014 Software\u00a0152(2), 70\u201379 (2005)","journal-title":"IEEE Proceedings \u2014 Software"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-44616-3_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., Scheerder, J.: Development of parsing tools for CASL using generic language technology. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 89\u2013105. Springer, Heidelberg (2000)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2002","unstructured":"van den Brand, M.G.J., Scheerder, J., Vinju, J.J., Visser, E.: Disambiguation filters for scannerless generalized LR parsers. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 143\u2013158. Springer, Heidelberg (2002)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0167-6423(99)00037-4","volume":"36","author":"M.G.J. Brand van den","year":"2000","unstructured":"van den Brand, M.G.J., Sellink, M.P.A., Verhoef, C.: Generation of components for software renovation factories from context-free grammars. Science of Computer Programming\u00a036, 209\u2013266 (2000)","journal-title":"Science of Computer Programming"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., Visser, E.: Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology\u00a05, 1\u201341 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"Cleve, A., Henrard, J., Hainaut, J.-L.: Co-transformations in information system reengineering. In: Second International Workshop on Meta-Models, Schemas and Grammars for Reverse Engineering (ATEM 2004). ENTCS, vol.\u00a0137(3), pp. 5\u201315 (2004)","key":"9_CR19","DOI":"10.1016\/j.entcs.2005.07.001"},{"key":"9_CR20","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"1","volume-title":"4th International Workshop on Language Descriptions, Tools and Applications (LDTA 2004)","author":"J.R. Cordy","year":"2004","unstructured":"Cordy, J.R.: TXL \u2014 a language for programming language tools and applications. In: Hedin, G., van Wyk, E. (eds.) 4th International Workshop on Language Descriptions, Tools and Applications (LDTA 2004). Electronic Notes in Theoretical Computer Science, pp. 1\u201327. Elsevier, Amsterdam (2004)"},{"key":"9_CR21","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Workshop on Language Descriptions, Tools and Applications (LDTA 2001)","author":"M. Jonge de","year":"2001","unstructured":"de Jonge, M., Visser, E., Visser, J.: XT: A bundle of program transformation tools. In: van den Brand, M.G.J., Parigot, D. (eds.) Workshop on Language Descriptions, Tools and Applications (LDTA 2001). Electronic Notes in Theoretical Computer Science, vol.\u00a044. Elsevier Science Publishers, Amsterdam (2001)"},{"key":"9_CR22","series-title":"AMAST Series in Computing","volume-title":"Language Prototyping: An Algebraic Specification Approach","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P. (eds.): Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a05. World Scientific, Singapore (1996)"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.-G. Doh","year":"2003","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Science of Computer Programming\u00a047, 3\u201336 (2003)","journal-title":"Science of Computer Programming"},{"key":"9_CR24","series-title":"Workshops in Computing Series","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-1-4471-2120-6_2","volume-title":"Algebra of Communicating Processes 1994","author":"J.F. Groote","year":"1995","unstructured":"Groote, J.F., Ponse, A.: The syntax and semantics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Algebra of Communicating Processes 1994. Workshops in Computing Series, pp. 26\u201362. Springer, Heidelberg (1995)"},{"issue":"11","key":"9_CR25","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"J. Heering","year":"1989","unstructured":"Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The syntax definition formalism SDF: Reference manual. SIGPLAN Notices\u00a024(11), 43\u201375 (1989)","journal-title":"SIGPLAN Notices"},{"issue":"2","key":"9_CR26","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1049\/ip-sen:20041182","volume":"152","author":"J. Iversen","year":"2005","unstructured":"Iversen, J., Mosses, P.D.: Constructive action semantics for Core ML. IEE Proceedings \u2014 Software\u00a0152(2), 79\u201398 (2005)","journal-title":"IEE Proceedings \u2014 Software"},{"unstructured":"Johnson, S.C.: YACC\u2014yet another compiler-compiler. Technical Report CS-32, AT&T Bell Laboratories, Murray Hill, N.J (1975)","key":"9_CR27"},{"doi-asserted-by":"crossref","unstructured":"de Jong, H.A., Olivier, P.A.: Generation of abstract programming interfaces from syntax definitions. Journal of Logic and Algebraic Programming 59 (April 2004)","key":"9_CR28","DOI":"10.1016\/j.jlap.2003.12.002"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology\u00a02, 176\u2013201 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"unstructured":"Klint, P.: A Tutorial Introduction to RScript \u2014 a Relational Approach to Software Analysis (2005), http:\/\/homepages.cwi.nl\/~paulk\/publications\/rscript-tutorial.pdf","key":"9_CR30"},{"key":"9_CR31","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"unstructured":"Lesk, M.E., Schmidt, E.: LEX \u2014 A lexical analyzer generator. Technical Report CS-39, AT&T Bell Laboratories, Murray Hill, N.J (1975)","key":"9_CR32"},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-36579-6_5","volume-title":"Compiler Construction","author":"P.-E. Moreau","year":"2003","unstructured":"Moreau, P.-E., Ringeissen, C., Vittek, M.: A pattern matching compiler for multiple target languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 61\u201376. Springer, Heidelberg (2003)"},{"key":"9_CR34","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol.\u00a026. Cambridge University Press, Cambridge (1992)"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-31985-6_14","volume-title":"Compiler Construction","author":"K. Olmos","year":"2005","unstructured":"Olmos, K., Visser, E.: Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. In: Bodik, R. (ed.) CC 2005. LNCS, vol.\u00a03443, pp. 204\u2013220. Springer, Heidelberg (2005)"},{"key":"9_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9623-9","volume-title":"The Synthesizer Generator: A System for Constructing Language-Based Editors","author":"T. Reps","year":"1989","unstructured":"Reps, T., Teitelbaum, T.: The Synthesizer Generator: A System for Constructing Language-Based Editors, 3rd edn. Springer, Heidelberg (1989)","edition":"3"},{"unstructured":"van Deursen, A.: An Algebraic Specification of the Static Semantics of Pascal. In: van Leeuwen, J. (ed.) Conference Proceedings Computing Science in the Netherlands (CSN 1991), pp. 150\u2013164 (1991)","key":"9_CR37"},{"issue":"4\u20135","key":"9_CR38","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/smr.295","volume":"16","author":"N. Veerman","year":"2004","unstructured":"Veerman, N.: Revitalizing modifiability of legacy assets. Software Maintenance and Evolution: Research and Practice, Special issue on CSMR 2003\u00a016(4\u20135), 219\u2013254 (2004)","journal-title":"Software Maintenance and Evolution: Research and Practice, Special issue on CSMR 2003"},{"unstructured":"Visser, E.: Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam (1997), http:\/\/www.cs.uu.nl\/people\/visser\/ftp\/Vis97.ps.gz","key":"9_CR39"},{"key":"9_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A language for program transformation based on rewriting strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Visser, E., Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: International Conference on Functional Programming (ICFP 1998), pp. 13\u201326 (1998)","key":"9_CR41","DOI":"10.1145\/289423.289425"},{"doi-asserted-by":"crossref","unstructured":"Waddington, D.G., Yao, B.: High-fidelity C\/C++ code transformation. In: Boyland, J., Hedin, G. (eds.) Fifth Workshop on Language Descriptions, Tools and Applications, pp. 6\u201326 (2005)","key":"9_CR42","DOI":"10.1016\/j.entcs.2005.04.037"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11877028_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T16:24:52Z","timestamp":1683649492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11877028_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457787","9783540462354"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/11877028_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}