{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:44Z","timestamp":1762459364729,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,14]],"date-time":"2016-03-14T00:00:00Z","timestamp":1457913600000},"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":[[2016,3,14]]},"DOI":"10.1145\/2892664.2893464","type":"proceedings-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T13:50:50Z","timestamp":1458309050000},"page":"8-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Tool support for component-based semantics"],"prefix":"10.1145","author":[{"given":"L. Thomas van","family":"Binsbergen","sequence":"first","affiliation":[{"name":"Royal Holloway University of London, UK"}]},{"given":"Neil","family":"Sculthorpe","sequence":"additional","affiliation":[{"name":"Royal Holloway University of London, UK"}]},{"given":"Peter D.","family":"Mosses","sequence":"additional","affiliation":[{"name":"Swansea University, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,3,14]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-642-37075-5_7"},{"key":"e_1_3_2_1_2_1","first-page":"132","volume":"8989","author":"Churchill M.","year":"2015","unstructured":"M. Churchill , P. D. Mosses , N. Sculthorpe , and P. Torrini . Reusable components of semantic specifications. In Trans. AOSD XII , volume 8989 of LNCS, pages 132 \u2013 179 . Springer, 2015 . M. Churchill, P. D. Mosses, N. Sculthorpe, and P. Torrini. Reusable components of semantic specifications. In Trans. AOSD XII, volume 8989 of LNCS, pages 132\u2013179. Springer, 2015.","journal-title":"Reusable components of semantic specifications. In Trans. AOSD XII"},{"key":"e_1_3_2_1_3_1","volume-title":"Dept. of Computer Science","author":"Danvy O.","year":"2004","unstructured":"O. Danvy and L. R. Nielsen . Refocusing in reduction semantics. BRICS Research Series RS-04-26 , Dept. of Computer Science , Aarhus Univ. , 2004 . http:\/\/www.brics.dk\/RS\/04\/26\/. P. Hudak, J. Hughes, S. P. Jones, and P. Wadler. A history of Haskell: Being lazy with class. In HOPL-III, pages 12:1\u201312:55. ACM, 2007. O. Danvy and L. R. Nielsen. Refocusing in reduction semantics. BRICS Research Series RS-04-26, Dept. of Computer Science, Aarhus Univ., 2004. http:\/\/www.brics.dk\/RS\/04\/26\/. P. Hudak, J. Hughes, S. P. Jones, and P. Wadler. A history of Haskell: Being lazy with class. In HOPL-III, pages 12:1\u201312:55. ACM, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_5_1","volume-title":"Caml Light manual","author":"Leroy X.","year":"1997","unstructured":"X. Leroy . Caml Light manual , 1997 . http:\/\/caml.inria.fr\/pub\/ docs\/manual-caml-light. R. Milner, M. Tofte, and D. Macqueen. The Definition of Standard ML. MIT Press , Cambridge, MA, USA, 1997. X. Leroy. Caml Light manual, 1997. http:\/\/caml.inria.fr\/pub\/ docs\/manual-caml-light. R. Milner, M. Tofte, and D. Macqueen. The Definition of Standard ML. MIT Press, Cambridge, MA, USA, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/j.jlap.2004.03.008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"229","volume-title":"WRLA \u201914","author":"Mosses P. D.","unstructured":"P. D. Mosses and F. Vesely . FunKons: Component-based semantics in K . In WRLA \u201914 , volume 8663 of LNCS , pages 213\u2013 229 . Springer, 2014. P. D. Mosses and F. Vesely. FunKons: Component-based semantics in K. In WRLA \u201914, volume 8663 of LNCS, pages 213\u2013229. Springer, 2014."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_10_1","series-title":"LIPIcs","first-page":"378","volume-title":"RTA","author":"Vergu V. A.","year":"2015","unstructured":"V. A. Vergu , P. Neron , and E. Visser . DynSem: A DSL for dynamic semantics specification . In RTA 2015 , volume 36 of LIPIcs , pages 365\u2013 378 . Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, 2015. V. A. Vergu, P. Neron, and E. Visser. DynSem: A DSL for dynamic semantics specification. In RTA 2015, volume 36 of LIPIcs, pages 365\u2013378. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, 2015."},{"unstructured":"Introduction and Background Developing and Executing Language Definitions Executing Funcon Terms Tool Download and Installation  Introduction and Background Developing and Executing Language Definitions Executing Funcon Terms Tool Download and Installation","key":"e_1_3_2_1_11_1"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"Modularity '16","name":"Modularity '16: Companion volume of the 15th International Conference on Modularity","location":"M\u00e1laga Spain"},"container-title":["Companion Proceedings of the 15th International Conference on Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892664.2893464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2892664.2893464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:55:55Z","timestamp":1750272955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892664.2893464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,14]]},"references-count":11,"alternative-id":["10.1145\/2892664.2893464","10.1145\/2892664"],"URL":"https:\/\/doi.org\/10.1145\/2892664.2893464","relation":{},"subject":[],"published":{"date-parts":[[2016,3,14]]},"assertion":[{"value":"2016-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}