{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T10:29:00Z","timestamp":1785666540759,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["612.001.114"],"award-info":[{"award-number":["612.001.114"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["639.023.206"],"award-info":[{"award-number":["639.023.206"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661149","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"95-111","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["A Language Designer's Workbench"],"prefix":"10.1145","author":[{"given":"Eelco","family":"Visser","sequence":"first","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Wachsmuth","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[{"name":"Portland State University, Portland, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre","family":"Neron","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vlad","family":"Vergu","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Augusto","family":"Passalaqua","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabrie\u00ebl","family":"Konat","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"1986","unstructured":"A. V. Aho , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools . Addison-Wesley , 1986 . A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328443"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation, LOPSTR","author":"Bach Poulsen C.","year":"2013","unstructured":"C. Bach Poulsen and P. D. Mosses . Generating specialized interpreters for modular structural operational semantics . In Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation, LOPSTR , 2013 . C. Bach Poulsen and P. D. Mosses. Generating specialized interpreters for modular structural operational semantics. In Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation, LOPSTR, 2013."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/978-3-642-54833-8_15","volume-title":"Programming Languages and Systems - 23rd European Symposium on Programming, ESOP","author":"Bach Poulsen C.","year":"2014","unstructured":"C. Bach Poulsen and P. D. Mosses . Deriving pretty-big-step semantics from small-step semantics . In Z. Shao, editor, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014 , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, volume 8410 of Lecture Notes in Computer Science , pages 270 -- 289 . Springer , 2014. C. Bach Poulsen and P. D. Mosses. Deriving pretty-big-step semantics from small-step semantics. In Z. Shao, editor, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, volume 8410 of Lecture Notes in Computer Science, pages 270--289. Springer, 2014."},{"issue":"1","key":"e_1_3_2_1_5_1","first-page":"123","article-title":"Program transformation with scoped dynamic rewrite rules","volume":"69","author":"Bravenboer M.","year":"2006","unstructured":"M. Bravenboer , A. van Dam , K. Olmos , and E. Visser . Program transformation with scoped dynamic rewrite rules . Fundamenta Informaticae , 69 ( 1-2 ): 123 -- 178 , 2006 . M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. Fundamenta Informaticae, 69(1-2):123--178, 2006.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706312"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577099"},{"key":"e_1_3_2_1_10_1","unstructured":"Coq development team. The Coq proof assistant reference manual. http:\/\/coq.inria.fr 2012. Version 8.4.  Coq development team. The Coq proof assistant reference manual. http:\/\/coq.inria.fr 2012. Version 8.4."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400676.2400678"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500587"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-319-02654-1_11","volume-title":"Software Language Engineering - 6th International Conference, SLE","author":"Erdweg S.","year":"2013","unstructured":"S. Erdweg , T. van der Storm , M. V\u00f6lter , The state of the art in language workbenches - conclusions from the language workbench challenge . In M. Erwig, R. F. Paige, and E. V. Wyk, editors, Software Language Engineering - 6th International Conference, SLE 2013 , Indianapolis, IN , USA, October 26-28, 2013. Proceedings, volume 8225 of Lecture Notes in Computer Science , pages 197 -- 217 . Springer , 2013. S. Erdweg, T. van der Storm, M. V\u00f6lter, et al. The state of the art in language workbenches - conclusions from the language workbench challenge. In M. Erwig, R. F. Paige, and E. V. Wyk, editors, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings, volume 8225 of Lecture Notes in Computer Science, pages 197--217. Springer, 2013."},{"key":"e_1_3_2_1_17_1","volume-title":"Semantics Engineering with PLT Redex","author":"Felleisen M.","year":"2009","unstructured":"M. Felleisen , R. Findler , and M. Flatt . Semantics Engineering with PLT Redex . MIT Press , 2009 . M. Felleisen, R. Findler, and M. Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009."},{"key":"e_1_3_2_1_18_1","volume-title":"Language workbenches: The killer-app for domain specific languages?","author":"Fowler M.","year":"2005","unstructured":"M. Fowler . Language workbenches: The killer-app for domain specific languages? 2005 . M. Fowler. Language workbenches: The killer-app for domain specific languages? 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/71605.71607"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0136-1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151013"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/documentation.html","year":"2013","unstructured":"Isabelle2013-2 tutorials and manuals. http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/documentation.html , 2013 . Isabelle2013-2 tutorials and manuals. http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/documentation.html, 2013."},{"key":"e_1_3_2_1_24_1","unstructured":"JetBrains. Meta programming system. https:\/\/www.jetbrains.com\/mps.  JetBrains. Meta programming system. https:\/\/www.jetbrains.com\/mps."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576195.2576205"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869535"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103691"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_1_30_1","series-title":"Lecture Notes in Computer Science","first-page":"311","volume-title":"Software Language Engineering, 5th International Conference, SLE","author":"Konat G. D. P.","year":"2012","unstructured":"G. D. P. Konat , L. C. L. Kats , G. Wachsmuth , and E. Visser . Declarative name binding and scope rules . In K. Czarnecki and G. Hedin, editors, Software Language Engineering, 5th International Conference, SLE 2012 , Dresden, Germany, September 26-28, 2012, volume 7745 of Lecture Notes in Computer Science , pages 311 -- 331 . Springer , 2012. G. D. P. Konat, L. C. L. Kats, G. Wachsmuth, and E. Visser. Declarative name binding and scope rules. In K. Czarnecki and G. Hedin, editors, Software Language Engineering, 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, volume 7745 of Lecture Notes in Computer Science, pages 311--331. Springer, 2012."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"D.\n      Lazar A.\n      Arusoaie T. F.\n      Serbanuta C.\n      Ellison R.\n      Mereuta D.\n      Lucanu and \n      G.\n      Rosu\n  . \n  Executing formal semantics with the K tool\n  . In D. Giannakopoulou and D. M\u00e9ry editors FM \n  2012\n  : Formal Methods - 18th International Symposium Paris France August 27-31 2012. Proceedings volume \n  7436\n   of \n  Lecture Notes in Computer Science pages \n  267\n  --\n  271\n  . \n  Springer 2012.  D. Lazar A. Arusoaie T. F. Serbanuta C. Ellison R. Mereuta D. Lucanu and G. Rosu. Executing formal semantics with the K tool. In D. Giannakopoulou and D. M\u00e9ry editors FM 2012: Formal Methods - 18th International Symposium Paris France August 27-31 2012. Proceedings volume 7436 of Lecture Notes in Computer Science pages 267--271. Springer 2012.","DOI":"10.1007\/978-3-642-32759-9_23"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500596"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_35_1","volume-title":"Foundation of computing series","author":"Mitchell J. C.","year":"1996","unstructured":"J. C. Mitchell . Foundations for programming languages. Foundation of computing series . MIT Press , 1996 . J. C. Mitchell. Foundations for programming languages. Foundation of computing series. MIT Press, 1996."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"e_1_3_2_1_38_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-642-22863-6_27","volume-title":"Interactive Theorem Proving - Second International Conference, ITP","author":"Owens S.","year":"2011","unstructured":"S. Owens , P. B\u00f6hm , F. Z. Nardelli , and P. Sewell . Lem: A lightweight tool for heavyweight semantics . In M. C. J. D. van Eekelen, H. Geuvers, J. Schmaltz, and F. Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011 , Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, volume 6898 of Lecture Notes in Computer Science , pages 363 -- 369 . Springer , 2011. S. Owens, P. B\u00f6hm, F. Z. Nardelli, and P. Sewell. Lem: A lightweight tool for heavyweight semantics. In M. C. J. D. van Eekelen, H. Geuvers, J. Schmaltz, and F. Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, volume 6898 of Lecture Notes in Computer Science, pages 363--369. Springer, 2011."},{"key":"e_1_3_2_1_39_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-61053-7_61","volume-title":"Compiler Construction, 6th International Conference, CC 96","author":"Pettersson M.","year":"1996","unstructured":"M. Pettersson . A compiler for natural semantics . In T. Gyim\u00f3thy, editor, Compiler Construction, 6th International Conference, CC 96 , Link\u00f6ping, Sweden, April 24-26, 1996 , Proceedings, volume 1060 of Lecture Notes in Computer Science , pages 177 -- 191 . Springer , 1996. M. Pettersson. A compiler for natural semantics. In T. Gyim\u00f3thy, editor, Compiler Construction, 6th International Conference, CC 96, Link\u00f6ping, Sweden, April 24-26, 1996, Proceedings, volume 1060 of Lecture Notes in Computer Science, pages 177--191. Springer, 1996."},{"key":"e_1_3_2_1_40_1","unstructured":"F. Pfenning and C. Sch\u00fcrmann. Twelf user's guide version 1.4. http:\/\/www.cs.cmu.edu\/~twelf\/guide-1-4 2002.  F. Pfenning and C. Sch\u00fcrmann. Twelf user's guide version 1.4. http:\/\/www.cs.cmu.edu\/~twelf\/guide-1-4 2002."},{"key":"e_1_3_2_1_41_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , Cambridge, Massachusetts , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, Cambridge, Massachusetts, 2002."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449803"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481848.1481859"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990293"},{"key":"e_1_3_2_1_47_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction, 11th International Conference, CC","author":"van den Brand M. G. J.","year":"2002","unstructured":"M. G. J. van den Brand , J. Scheerder , J. J. Vinju , and E. Visser . Disambiguation filters for scannerless generalized LR parsers . In R. N. Horspool, editor, Compiler Construction, 11th International Conference, CC 2002 , Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, volume 2304 of Lecture Notes in Computer Science , pages 143 -- 158 . Springer , 2002. M. G. J. van den Brand, J. Scheerder, J. J. Vinju, and E. Visser. Disambiguation filters for scannerless generalized LR parsers. In R. N. Horspool, editor, Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, volume 2304 of Lecture Notes in Computer Science, pages 143--158. Springer, 2002."},{"key":"e_1_3_2_1_48_1","volume-title":"University of Amsterdam","author":"Visser E.","year":"1997","unstructured":"E. Visser . Syntax Definition for Language Prototyping. PhD thesis , University of Amsterdam , September 1997 . E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427048.2427056"},{"key":"e_1_3_2_1_50_1","series-title":"Lecture Notes in Computer Science","volume-title":"M. G. J. van den Brand","author":"V\u00f6lter M.","year":"2010","unstructured":"M. V\u00f6lter and K. Solomatov . Language modularization and composition with projectional language workbenches illustrated with MPS . In M. G. J. van den Brand , B. Malloy, and S. Staab, editors, Software Language Engineering, Third International Conference, SLE 2010 , Lecture Notes in Computer Science . Springer , 2010. M. V\u00f6lter and K. Solomatov. Language modularization and composition with projectional language workbenches illustrated with MPS. In M. G. J. van den Brand, B. Malloy, and S. Staab, editors, Software Language Engineering, Third International Conference, SLE 2010, Lecture Notes in Computer Science. Springer, 2010."},{"key":"e_1_3_2_1_51_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-319-02654-1_15","volume-title":"Software Language Engineering - 6th International Conference, SLE","author":"Wachsmuth G.","year":"2013","unstructured":"G. Wachsmuth , G. D. P. Konat , V. A. Vergu , D. M. Groenewegen , and E. Visser . A language independent task engine for incremental name and type analysis . In M. Erwig, R. F. Paige, and E. V. Wyk, editors, Software Language Engineering - 6th International Conference, SLE 2013 , Indianapolis, IN , USA, October 26-28, 2013. Proceedings, volume 8225 of Lecture Notes in Computer Science , pages 260 -- 280 . Springer , 2013. G.Wachsmuth, G. D. P. Konat, V. A. Vergu, D. M. Groenewegen, and E. Visser. A language independent task engine for incremental name and type analysis. In M. Erwig, R. F. Paige, and E. V. Wyk, editors, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings, volume 8225 of Lecture Notes in Computer Science, pages 260--280. Springer, 2013."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_54_1","volume-title":"http:\/\/www.eclipse.org\/Xtext\/documentation\/2.6.0\/Xtext","author":"Xtext","year":"2014","unstructured":"Xtext documentation. http:\/\/www.eclipse.org\/Xtext\/documentation\/2.6.0\/Xtext , 2014 . Xtext documentation. http:\/\/www.eclipse.org\/Xtext\/documentation\/2.6.0\/Xtext, 2014."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661149"}},"subtitle":["A One-Stop-Shop for Implementation and Verification of Language Designs"],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":54,"alternative-id":["10.1145\/2661136.2661149","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661149","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}