{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T21:48:56Z","timestamp":1723758536015},"publisher-location":"New York, New York, USA","reference-count":17,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T00:00:00Z","timestamp":1524441600000},"content-version":"vor","delay-in-days":112,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CominLabs","award":["SecCloud"]},{"name":"ANR","award":["AJACS ANR-14-CE28-0008"]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1145\/3184558.3185969","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T14:04:25Z","timestamp":1524060265000},"page":"691-699","source":"Crossref","is-referenced-by-count":12,"title":["JSExplain"],"prefix":"10.1145","author":[{"given":"Arthur","family":"Chargu\u00e9raud","sequence":"first","affiliation":[{"name":"Inria & Universit\u00e9 de Strasbourg, CNRS, ICube UMR 7357, Strasbourg, France"}]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[{"name":"Inria & Univ Rennes, CNRS, IRISA, Rennes, France"}]},{"given":"Thomas","family":"Wood","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]}],"member":"320","reference":[{"key":"key-10.1145\/3184558.3185969-1","unstructured":"2017. Babel. (October 25, 2017). https:\/\/babeljs.io\/."},{"key":"key-10.1145\/3184558.3185969-2","unstructured":"2017. Babel proxy plugin. (October 25, 2017). https:\/\/www. npmjs.com\/package\/babel-plugin-proxy."},{"key":"key-10.1145\/3184558.3185969-3","unstructured":"Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, and Gareth Smith. 2014. A trusted mechanised javascript specification. In Proceedings of POPL 2014, 87--100."},{"key":"key-10.1145\/3184558.3185969-4","unstructured":"2017. Bucklescript. (October 27, 2017). https:\/\/bucklescript. github.io\/bucklescript\/."},{"key":"key-10.1145\/3184558.3185969-5","doi-asserted-by":"crossref","unstructured":"Arthur Charguéraud. 2013. Pretty-big-step semantics. In Proceedings of ESOP 2013 (LNCS). Volume 7792. Springer, 41-- 60.","DOI":"10.1007\/978-3-642-37036-6_3"},{"key":"key-10.1145\/3184558.3185969-6","unstructured":"ECMA. 2017. Ecmascript 2017 language specification (ecma262, 8th edition). (June 2017). https:\/\/www.ecma-international. org\/ecma-262\/8.0\/index.html."},{"key":"key-10.1145\/3184558.3185969-7","unstructured":"2017. ECMAScript parsing infrastructure for multipurpose analysis. (October 26, 2017). http:\/\/esprima.org\/."},{"key":"key-10.1145\/3184558.3185969-8","unstructured":"2017. JSExplain. (October 26, 2017). https:\/\/jscert.github.io\/ jsexplain\/branch\/master\/driver.html."},{"key":"key-10.1145\/3184558.3185969-9","doi-asserted-by":"crossref","unstructured":"Bastian Kruck, Stefan Lehmann, Christoph Keßler, Jakob Reschke, Tim Felgentreff, Jens Lincke, and Robert Hirschfeld. 2016. Multi-level debugging for interpreter developers. In MODULARITY (Companion). ACM, 91--93.","DOI":"10.1145\/2892664.2892679"},{"key":"key-10.1145\/3184558.3185969-10","doi-asserted-by":"crossref","unstructured":"Sergio Maffeis, John C. Mitchell, and Ankur Taly. 2008. An operational semantics for javascript. In Proceedings of APLAS 2008 (LNCS). Volume 5356. Springer, 307--325.","DOI":"10.1007\/978-3-540-89330-1_22"},{"key":"key-10.1145\/3184558.3185969-11","doi-asserted-by":"crossref","unstructured":"Daejun Park, Andrei Stefanescu, and Grigore Rosu. 2015. KJS: a complete formal semantics of javascript. In Proceedings of PLDI 2015. ACM, 346--356.","DOI":"10.1145\/2737924.2737991"},{"key":"key-10.1145\/3184558.3185969-12","unstructured":"2017. Reason. (October 27, 2017). https:\/\/reasonml.github.io\/."},{"key":"key-10.1145\/3184558.3185969-13","doi-asserted-by":"crossref","unstructured":"Grigore Rosu and Traian-Florin Serbanuta. 2010. An overview of the K semantic framework. Journal of Logic and Algebraic Programming, 79, 6, 397--434.","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"key-10.1145\/3184558.3185969-14","unstructured":"2017. TC39 proposals. (October 26, 2017). https:\/\/github.com\/ tc39\/proposals."},{"key":"key-10.1145\/3184558.3185969-15","unstructured":"2017. Test262. (October 26, 2017). https:\/\/github.com\/tc39\/ test262."},{"key":"key-10.1145\/3184558.3185969-16","unstructured":"The Coq development team. 2014. The Coq proof assistant reference manual. Version 8.4. http:\/\/coq.inria.fr."},{"key":"key-10.1145\/3184558.3185969-17","doi-asserted-by":"crossref","unstructured":"Jérôme Vouillon and Vincent Balat. 2014. From bytecode to javascript: the js_of_ocaml compiler. Software: Practice and Exprerience, 44, 8, 951--972.","DOI":"10.1002\/spe.2187"}],"event":{"number":"2018","sponsor":["IW3C2, International World Wide Web Conference Committee","SIGWEB, ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"acronym":"WWW '18","name":"Companion of the The Web Conference 2018","start":{"date-parts":[[2018,4,23]]},"location":"Lyon, France","end":{"date-parts":[[2018,4,27]]}},"container-title":["Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18"],"original-title":[],"link":[{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3185969&ftid=1958307&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T15:35:59Z","timestamp":1524065759000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3184558.3185969"}},"subtitle":["A Double Debugger for JavaScript"],"proceedings-subject":"The Web Conference 2018","short-title":[],"issued":{"date-parts":[[2018]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1145\/3184558.3185969","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}
