{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:45:12Z","timestamp":1780994712343,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"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":[[2022,9,20]]},"DOI":"10.1145\/3551357.3551381","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Faithful Description of ECMAScript Algorithms"],"prefix":"10.1145","author":[{"given":"Adam","family":"Khayam","sequence":"first","affiliation":[{"name":"Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Louis","family":"Noizet","sequence":"additional","affiliation":[{"name":"Universite Rennes 1, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535876"},{"key":"e_1_3_2_1_2_1","unstructured":"Martin Bodin Nathanael Courant Enzo Crance and Louis Noizet. 2022. Necro Ocaml Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-ml  Martin Bodin Nathanael Courant Enzo Crance and Louis Noizet. 2022. Necro Ocaml Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-ml"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290357"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676724.2693174"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3184558.3185969"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_3"},{"key":"e_1_3_2_1_8_1","unstructured":"ECMA. 2021. ECMAScript 2021 Language Specification. https:\/\/tc39.es\/ecma262\/2021\/  ECMA. 2021. ECMAScript 2021 Language Specification. https:\/\/tc39.es\/ecma262\/2021\/"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science 6183 (06","volume-title":"The Essence of JavaScript. ECOOP","author":"Guha Arjun","year":"2010","unstructured":"Arjun Guha , Claudiu Saftoiu , and Shriram Krishnamurthi . 2010. The Essence of JavaScript. ECOOP , Lecture Notes in Computer Science 6183 (06 2010 ), 126\u2013150. https:\/\/doi.org\/10.1007\/978-3-642-14107-2_7 10.1007\/978-3-642-14107-2_7 Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. 2010. The Essence of JavaScript. ECOOP, Lecture Notes in Computer Science 6183 (06 2010), 126\u2013150. https:\/\/doi.org\/10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_1_10_1","unstructured":"Adam Khayam and Alan Schmitt. 2022. A Practical Approach for Describing Language Semantics. Submitted for publication.  Adam Khayam and Alan Schmitt. 2022. A Practical Approach for Describing Language Semantics. Submitted for publication."},{"key":"e_1_3_2_1_12_1","unstructured":"Louis Noizet. 2022. Necro Debugger Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-debug  Louis Noizet. 2022. Necro Debugger Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-debug"},{"key":"e_1_3_2_1_13_1","unstructured":"Louis Noizet. 2022. Necro Gallina Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-coq  Louis Noizet. 2022. Necro Gallina Generator. https:\/\/gitlab.inria.fr\/skeletons\/necro-coq"},{"key":"e_1_3_2_1_14_1","unstructured":"Louis Noizet. 2022. Necro Library. https:\/\/gitlab.inria.fr\/skeletons\/necro  Louis Noizet. 2022. Necro Library. https:\/\/gitlab.inria.fr\/skeletons\/necro"},{"key":"e_1_3_2_1_15_1","unstructured":"Louis Noizet and Alan Schmitt. 2022. Semantics in Skel and Necro. Submitted for publication.  Louis Noizet and Alan Schmitt. 2022. Semantics in Skel and Necro. Submitted for publication."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737991"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416632"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141563"},{"key":"e_1_3_2_1_20_1","volume-title":"The Essence of Functional Programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Wadler Philip","year":"1992","unstructured":"Philip Wadler . 1992 . The Essence of Functional Programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , Albuquerque, New Mexico, USA , January 19-22, 1992, Ravi Sethi (Ed.). ACM Press, 1\u201314. https:\/\/doi.org\/10.1145\/143165.143169 10.1145\/143165.143169 Philip Wadler. 1992. The Essence of Functional Programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, Ravi Sethi (Ed.). ACM Press, 1\u201314. https:\/\/doi.org\/10.1145\/143165.143169"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","location":"Tbilisi Georgia","acronym":"PPDP 2022"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551381","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3551381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:24Z","timestamp":1750186824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":17,"alternative-id":["10.1145\/3551357.3551381","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3551381","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}