{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:19:45Z","timestamp":1743063585317,"version":"3.40.3"},"publisher-location":"Cham","reference-count":4,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319216898"},{"type":"electronic","value":"9783319216904"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_1","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T02:08:27Z","timestamp":1436926107000},"page":"3-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Trusted Mechanised Specification of JavaScript: One Year On"],"prefix":"10.1007","author":[{"given":"Philippa","family":"Gardner","sequence":"first","affiliation":[]},{"given":"Gareth","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Conrad","family":"Watt","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Wood","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Bodin, M., Chargu\u00e9raud, A., Filiaretti, D., Gardner, P., Maffeis, S., Naud\u017ei\u016bnien\u0117, D., Schmitt, A., Smith, G.: A trusted mechanised javascript specification. In: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2014, ACM (2014)","DOI":"10.1145\/2535838.2535876"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-37036-6_3","volume-title":"Programming Languages and Systems","author":"A Chargu\u00e9raud","year":"2013","unstructured":"Chargu\u00e9raud, A.: Pretty-big-step semantics. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 41\u201360. Springer, Heidelberg (2013)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-540-89330-1_22","volume-title":"Programming Languages and Systems","author":"S Maffeis","year":"2008","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: An operational semantics for javascript. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 307\u2013325. Springer, Heidelberg (2008)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Park, D., \u015etef\u0103nescu, A., Ro\u015fu, G.: KJS: A complete formal semantics of javascript. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2015, pp. 428\u2013438. ACM (2015)","DOI":"10.1145\/2737924.2737991"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:03:36Z","timestamp":1563825816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}