{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:16Z","timestamp":1750307476935,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,28]],"date-time":"2010-03-28T00:00:00Z","timestamp":1269734400000},"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":[],"published-print":{"date-parts":[[2010,3,28]]},"DOI":"10.1145\/1868281.1868293","type":"proceedings-article","created":{"date-parts":[[2010,10,12]],"date-time":"2010-10-12T15:38:31Z","timestamp":1286897911000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formally specified type checkers for domain specific languages"],"prefix":"10.1145","author":[{"given":"M. G. J.","family":"van den Brand","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. P.","family":"van der Meer","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Serebrenik","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. T.","family":"Hofkamp","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,3,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2006","unstructured":"}} A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools ( 2 nd Edition). Addison-Wesley Longman , 2006 . }}A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman, 2006.","edition":"2"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"252","volume-title":"Programming Language Implementation and Logic Programming","author":"Attali I.","year":"1988","unstructured":"}} I. Attali . Compiling TYPOL with attribute grammars . In P. Deransart, B. Lorho, and J. Maluszy\u0144ski, editors, Programming Language Implementation and Logic Programming , volume 348 of LNCS , pages 252 -- 272 . Springer , 1988 . }}I. Attali. Compiling TYPOL with attribute grammars. In P. Deransart, B. Lorho, and J. Maluszy\u0144ski, editors, Programming Language Implementation and Logic Programming, volume 348 of LNCS, pages 252--272. Springer, 1988."},{"doi-asserted-by":"crossref","unstructured":"}}\n      E.\n      Balland P.\n      Brauner R.\n      Kopetz P.\n      Moreau and \n      A.\n      Reilles\n  . \n  Tom: Piggybacking Rewriting on Java\n  . In F. Baader editor RTA volume \n  4533\n   of \n  LNCS pages \n  36\n  --\n  47\n  . \n  Springer 2007\n  .   }}E. Balland P. Brauner R. Kopetz P. Moreau and A. Reilles. Tom: Piggybacking Rewriting on Java. In F. Baader editor RTA volume 4533 of LNCS pages 36--47. Springer 2007.","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-540-73449-9_5"},{"key":"e_1_3_2_1_4_1","first-page":"250","volume-title":"3rd IFAC Conference on Analysis and Design of Hybrid Systems","author":"van Beek D. A.","year":"2009","unstructured":"}} D. A. van Beek , P. Collins , D. E. Nadales , J. E. Rooda , and R. R. H. Schiffelers . New concepts in the abstract format of the compositional interchange format. In A. Giua, C. Mahuela, M. Silva, and J. Zaytoon, editors , 3rd IFAC Conference on Analysis and Design of Hybrid Systems , pages 250 -- 255 , Zaragoza, Spain , 2009 . }}D. A. van Beek, P. Collins, D. E. Nadales, J. E. Rooda, and R. R. H. Schiffelers. New concepts in the abstract format of the compositional interchange format. In A. Giua, C. Mahuela, M. Silva, and J. Zaytoon, editors, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, pages 250--255, Zaragoza, Spain, 2009."},{"key":"e_1_3_2_1_5_1","volume-title":"Syntax and consistent equation semantics of hybrid Chi. JLAP, 68(1--2):129--210","author":"van Beek D. A.","year":"2006","unstructured":"}} D. A. van Beek , K. L. Man , M. A. Reniers , J. E. Rooda , and R. R. H. Schiffelers . Syntax and consistent equation semantics of hybrid Chi. JLAP, 68(1--2):129--210 , 2006 . }}D. A. van Beek, K. L. Man, M. A. Reniers, J. E. Rooda, and R. R. H. Schiffelers. Syntax and consistent equation semantics of hybrid Chi. JLAP, 68(1--2):129--210, 2006."},{"key":"e_1_3_2_1_6_1","volume-title":"15th Triennial World Congress of the International Federation of Automatic Control","author":"van Beek D. A.","year":"2002","unstructured":"}} D. A. van Beek , A. van den Ham, and J. E. Rooda. Modelling and control of process industry batch production systems . In 15th Triennial World Congress of the International Federation of Automatic Control , 2002 . }}D. A. van Beek, A. van den Ham, and J. E. Rooda. Modelling and control of process industry batch production systems. In 15th Triennial World Congress of the International Federation of Automatic Control, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/567097.567099"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-04164-8_11","volume-title":"Semantics and Algebraic Specification","author":"van den Brand M. G. J.","year":"2009","unstructured":"}} M. G. J. van den Brand , A. P. van der Meer , and A. Serebrenik . Type Checking Evolving Languages with MSOS . In J. Palsberg, editor, Semantics and Algebraic Specification , volume 5700 of LNCS , pages 207 -- 226 . Springer , 2009 . }}M. G. J. van den Brand, A. P. van der Meer, and A. Serebrenik. Type Checking Evolving Languages with MSOS. In J. Palsberg, editor, Semantics and Algebraic Specification, volume 5700 of LNCS, pages 207--226. Springer, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.scico.2007.11.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/167962.165865"},{"key":"e_1_3_2_1_11_1","volume-title":"Universidade Federal Fluminense","author":"Chalub F.","year":"2005","unstructured":"}} F. Chalub . An implementation of modular SOS in Maude. Master's thesis , Universidade Federal Fluminense , Brazil , 2005 . http:\/\/www.ic.uff.br\/~frosario\/dissertation.pdf. }}F. Chalub. An implementation of modular SOS in Maude. Master's thesis, Universidade Federal Fluminense, Brazil, 2005. http:\/\/www.ic.uff.br\/~frosario\/dissertation.pdf."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1016\/j.entcs.2005.07.001"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog: the standard: reference manual","author":"Deransart P.","year":"1996","unstructured":"}} P. Deransart , A. Ed-Dbali , and L. Cervoni . Prolog: the standard: reference manual . Springer , London, UK , 1996 . }}P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: the standard: reference manual. Springer, London, UK, 1996."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/11546382_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/11877028_18"},{"unstructured":"}}B. Frederiksen. Pyke 2009. http:\/\/pyke.sourceforge.net.  }}B. Frederiksen. Pyke 2009. http:\/\/pyke.sourceforge.net.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","volume-title":"Manning Publications","author":"Friedman-Hill E.","year":"2002","unstructured":"}} E. Friedman-Hill . Jess in Action: Java Rule-Based Systems (In Action series) . Manning Publications , December 2002 . }}E. Friedman-Hill. Jess in Action: Java Rule-Based Systems (In Action series). Manning Publications, December 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1173706.1173744"},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","volume-title":"International Summer School, Revised Papers","author":"L\u00e4mmel R.","year":"2006","unstructured":"}} R. L\u00e4mmel , J. Saraiva , and J. Visser , editors . Generative and Transformational Techniques in Software Engineering , International Summer School, Revised Papers , volume 4143 of LNCS . Springer , 2006 . }}R. L\u00e4mmel, J. Saraiva, and J. Visser, editors. Generative and Transformational Techniques in Software Engineering, International Summer School, Revised Papers, volume 4143 of LNCS. Springer, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1017\/S0956796802004550"},{"unstructured":"}}\n      P. D.\n      Mosses\n    . \n      Action\n      Semantics volume \n  26\n   of \n  Cambridge Tracts in Theoretical Computer Science\n  . \n  Cambridge University Press 1992\n  .   }}P. D. Mosses. Action Semantics volume 26 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press 1992.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","first-page":"195","volume":"61","author":"P.","year":"2004","unstructured":"}} P. D. Mosses. Modular Structural Operational Semantics. JLAP, 60-- 61 : 195 -- 228 , 2004 . }}P. D. Mosses. Modular Structural Operational Semantics. JLAP, 60--61:195--228, 2004.","journal-title":"Mosses. Modular Structural Operational Semantics. JLAP, 60--"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/b71652","volume-title":"Compiling Natural Semantics","author":"Pettersson M.","year":"1999","unstructured":"}} M. Pettersson . Compiling Natural Semantics , volume 1549 of LNCS . Springer , 1999 . }}M. Pettersson. Compiling Natural Semantics, volume 1549 of LNCS. Springer, 1999."},{"key":"e_1_3_2_1_27_1","volume-title":"Types and programming languages","author":"Pierce B. C.","year":"2002","unstructured":"}} B. C. Pierce . Types and programming languages . MIT Press , 2002 . }}B. C. Pierce. Types and programming languages. MIT Press, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1007\/978-3-642-03564-7_6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/ASMC.1998.731643"},{"key":"e_1_3_2_1_30_1","volume-title":"Allyn and Bacon","author":"Schmidt D. A.","year":"1986","unstructured":"}} D. A. Schmidt . Denotational Semantics : A Methodology for Language Development . Allyn and Bacon , 1986 . }}D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986."},{"key":"e_1_3_2_1_31_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-11571-4","volume-title":"An Attribute Grammar for the Semantic Analysis of Ada","author":"Uhl J.","year":"1982","unstructured":"}} J. Uhl , S. Drossopoulou , G. Persch , G. Goos , M Dausmann , G Winterstein , and W. Kirchg\u00e4ssner . An Attribute Grammar for the Semantic Analysis of Ada , volume 139 of LNCS . Springer , 1982 . }}J. Uhl, S. Drossopoulou, G. Persch, G. Goos, M Dausmann, G Winterstein, and W. Kirchg\u00e4ssner. An Attribute Grammar for the Semantic Analysis of Ada, volume 139 of LNCS. Springer, 1982."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.5555\/872754.873598"}],"event":{"sponsor":["University of Minnesota Software Engineering Center","SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"LDTA '10","name":"LDTA '10: Language Descriptions, Tools and Applications","location":"Paphos Cyprus"},"container-title":["Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868281.1868293","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868281.1868293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:52Z","timestamp":1750248532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868281.1868293"}},"subtitle":["experience report"],"short-title":[],"issued":{"date-parts":[[2010,3,28]]},"references-count":30,"alternative-id":["10.1145\/1868281.1868293","10.1145\/1868281"],"URL":"https:\/\/doi.org\/10.1145\/1868281.1868293","relation":{},"subject":[],"published":{"date-parts":[[2010,3,28]]},"assertion":[{"value":"2010-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}