{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:15:23Z","timestamp":1743048923625,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288296"},{"type":"electronic","value":"9783642288302"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28830-2_14","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:36:49Z","timestamp":1335303409000},"page":"243-262","source":"Crossref","is-referenced-by-count":3,"title":["Semantics First!"],"prefix":"10.1007","author":[{"given":"Martin","family":"Erwig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796805005721","volume":"16","author":"M. Erwig","year":"2006","unstructured":"Erwig, M., Kollmansberger, S.: Probabilistic Functional Programming in Haskell. Journal of Functional Programming\u00a016(1), 21\u201334 (2006)","journal-title":"Journal of Functional Programming"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-03034-5_16","volume-title":"Domain-Specific Languages","author":"M. Erwig","year":"2009","unstructured":"Erwig, M., Walkingshaw, E.: A DSL for Explaining Probabilistic Reasoning. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol.\u00a05658, pp. 335\u2013359. Springer, Heidelberg (2009)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Erwig, M., Walkingshaw, E.: Visual Explanations of Probabilistic Reasoning. In: IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 23\u201327 (2009)","DOI":"10.1109\/VLHCC.2009.5295309"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Erwig, M., Walkingshaw, E.: The Choice Calculus: A Representation for Software Variation. ACM Transactions on Software Engineering and Methodology (2011) (to appear)","DOI":"10.1145\/2063239.2063245"},{"key":"14_CR5","volume-title":"Semantics Engineering with PLT Redex","author":"M. Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. MIT Press, Cambridge (2009)"},{"key":"14_CR6","unstructured":"Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional (2010)"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"J. Halpern","year":"2005","unstructured":"Halpern, J., Pearl, J.: Causes and Explanations: A Structural-Model Approach, Part I: Causes. British Journal of Philosophy of Science\u00a056(4), 843\u2013887 (2005)","journal-title":"British Journal of Philosophy of Science"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Modular Domain Specific Languages and Tools. In: IEEE 5th Int. Conf. on Software Reuse, pp. 134\u2013142 (1998)","DOI":"10.1109\/ICSR.1998.685738"},{"issue":"4es","key":"14_CR9","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/242224.242477","volume":"28","author":"P. Hudak","year":"1996","unstructured":"Hudak, P.: Building Domain-Specific Embedded Languages. ACM Computing Surveys\u00a028(4es), 196 (1996)","journal-title":"ACM Computing Surveys"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Gibbons, J., de Moor, O. (eds.): The Fun of Programming. Palgrave MacMillan (2003)","DOI":"10.1007\/978-1-349-91518-7"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E., Wachsmuth, G.: Pure and Declarative Syntax Definition: Paradise Lost and Regained. In: ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, pp. 918\u2013932 (2010)","DOI":"10.1145\/1932682.1869535"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1072997.1073000","volume":"14","author":"P. Klint","year":"2005","unstructured":"Klint, P., L\u00e4mmel, R., Verhoef, C.: Toward an Engineering Discipline for Grammarware. ACM Trans. Softw. Eng. Methodol.\u00a014, 331\u2013380 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad Transformers and Modular Interpreters. In: 22nd ACM Symp. on Principles of Programming Languages, pp. 333\u2013343 (1995)","DOI":"10.1145\/199448.199528"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Merkle, B.: Textual Modeling Tools: Overview and Comparison of Language Workbenches. In: ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, pp. 139\u2013148 (2010)","DOI":"10.1145\/1869542.1869564"},{"key":"14_CR15","volume-title":"Concepts in Programming Languages","author":"J.C. Mitchell","year":"2003","unstructured":"Mitchell, J.C.: Concepts in Programming Languages. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR16","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"S.L. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.L.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR17","unstructured":"Pfeiffer, M., Pichler, J.: A Comparison of Tool Support for Textual Domain-Specific Languages. In: OOPSLA Workshop on Domain-Specific Modeling, pp. 1\u20137 (2008)"},{"key":"14_CR18","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)"},{"issue":"5","key":"14_CR19","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S095679680300488X","volume":"14","author":"T. Sheard","year":"2004","unstructured":"Sheard, T., Pasalic, E.: Two-Level Types and Parameterized Modules. Journal of Functional Programming\u00a014(5), 547\u2013587 (2004)","journal-title":"Journal of Functional Programming"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Visser, E.: Language Extension and Composition With Language Workbenches. In: ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, pp. 301\u2013304 (2010)","DOI":"10.1145\/1869542.1869623"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28830-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:35:13Z","timestamp":1742999713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28830-2_14"}},"subtitle":["Rethinking the Language Design Process"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288296","9783642288302"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28830-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}