{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:32:54Z","timestamp":1725867174048},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319479576"},{"type":"electronic","value":"9783319479583"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47958-3_21","type":"book-chapter","created":{"date-parts":[[2016,10,8]],"date-time":"2016-10-08T09:40:52Z","timestamp":1475919652000},"page":"401-422","source":"Crossref","is-referenced-by-count":2,"title":["DOM: Specification and Client Reasoning"],"prefix":"10.1007","author":[{"given":"Azalea","family":"Raad","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Fragoso","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,9]]},"reference":[{"key":"21_CR1","unstructured":"W3C DOM standard. www.w3.org\/TR\/REC-DOM-Level-1\/level-one-core.html"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-540-24597-1_3","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"N Biri","year":"2003","unstructured":"Biri, N., Galmiche, D.: A separation logic for resource distribution. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 23\u201337. Springer, Heidelberg (2003)"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1093\/logcom\/exm019","volume":"17","author":"N Biri","year":"2007","unstructured":"Biri, N., Galmiche, D.: Models and separation logics for resource trees. J. Logic Comput. 17, 687\u2013726 (2007)","journal-title":"J. Logic Comput."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bodin, M., Chargueraud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudz\u0306iu\u0304niene\u0307, D., Schmitt, A., Smith, G.: A mechanised JavaScript specification. In: POPL (2014)","DOI":"10.1145\/2535838.2535876"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-540-76637-7_17","volume-title":"Programming Languages and Systems","author":"C Calcagno","year":"2007","unstructured":"Calcagno, C., Dinsdale-Young, T., Gardner, P.: Adjunct elimination in context logic for trees. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 255\u2013270. Springer, Heidelberg (2007)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Gardner, P., Zarfaty, U.: Context logic and tree update. In: POPL (2005)","DOI":"10.1145\/1040305.1040328"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Gardner, P., Maffeis, S., Smith, G.: Towards a program logic for JavaScript. In: POPL (2012)","DOI":"10.1145\/2103656.2103663"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Gardner, P., Raad, A., Wheelhouse, M., Wright, A.: Local reasoning for concurrent libraries: mind the gap. In: MFPS (2014)","DOI":"10.1016\/j.entcs.2014.10.009"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Gardner, P., Smith, G., Wheelhouse, M., Zarfaty, U.: Local Hoare reasoning about DOM. In: PODS (2008)","DOI":"10.1145\/1376916.1376953"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. In: OOPSLA (1999)","DOI":"10.1145\/320384.320395"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","volume-title":"Static Analysis","author":"SH Jensen","year":"2009","unstructured":"Jensen, S.H., M\u00f8ller, A., Thiemann, P.: Type analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 238\u2013255. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03237-0_17"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Jensen, S.H., Madsen, M., M\u00f8ller, A.: Modeling the HTML DOM and browser API in static analysis of JavaScript Web applications. In: ESEC\/FSE 2011 (2013)","DOI":"10.1145\/2025113.2025125"},{"key":"21_CR13","unstructured":"Lerner, B.S., Carroll, M., Kimmel, D.P., La Vallee, H.Q., Krishnamurthi, S.: Modeling and reasoning about DOM events. In: WebApps (2012)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi: 10.1007\/978-3-540-89330-1_22"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Park, C., Won, S., Jin, J., Ryu, S.: A static analysis of JavaScript web applications in the wild via practical DOM modeling (T). In: ASE (2015)","DOI":"10.1109\/ASE.2015.27"},{"key":"21_CR16","unstructured":"Parkinson, M.: Local reasoning for Java. Ph.D. thesis, Cambridge University (2006)"},{"key":"21_CR17","unstructured":"Raad, A.: Ph.D. thesis, Imperial College (2016, to appear)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Rajani, V., Bichhawat, A., Garg, D., Hammer, C.: Information flow control for event handling and the DOM in web browsers. In: CSF (2015)","DOI":"10.1109\/CSF.2015.32"},{"key":"21_CR19","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: LICS (2002)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-04444-1_6","volume-title":"Computer Security \u2013 ESORICS 2009","author":"A Russo","year":"2009","unstructured":"Russo, A., Sabelfeld, A., Chudnov, A.: Tracking information flow in dynamic tree structures. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 86\u2013103. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04444-1_6"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"M\u00f8ller, A., Jensen, S.H., Madsen, M.: Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. In: FSE (2011)","DOI":"10.1145\/2025113.2025125"},{"key":"21_CR22","unstructured":"Smith, G.: Local reasoning for web programs. Ph.D. thesis, Imperial College (2010)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Swamy, N., Weinberger, J., Schlesinger, C., Chen, J., Livshits, B.: Verifying higher-order programs with the Dijkstra Monad. In: PLDI (2013)","DOI":"10.1145\/2491956.2491978"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11601524_11","volume-title":"Database Programming Languages","author":"P Thiemann","year":"2005","unstructured":"Thiemann, P.: A type safe DOM API. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 169\u2013183. Springer, Heidelberg (2005). doi: 10.1007\/11601524_11"},{"key":"21_CR25","unstructured":"Wright, A.: Structural separation logic. Ph.D. thesis, Imperial College (2013)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47958-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T07:31:16Z","timestamp":1568446276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47958-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319479576","9783319479583"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47958-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}