{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:00Z","timestamp":1725563100673},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144578"},{"type":"electronic","value":"9783642144585"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14458-5_11","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T08:33:35Z","timestamp":1282552415000},"page":"178-195","source":"Crossref","is-referenced-by-count":1,"title":["Small Specifications for Tree Update"],"prefix":"10.1007","author":[{"given":"Philippa","family":"Gardner","sequence":"first","affiliation":[]},{"given":"Mark","family":"Wheelhouse","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11804192_6","volume-title":"Formal Methods for Components and Objects","author":"J. Berdine","year":"2006","unstructured":"Berdine, J., Calcagno, C., O\u2019Hearn, P.W.: Smallfoot: Modular automatic assertion checking with separation logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 115\u2013137. Springer, Heidelberg (2006)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a04807, pp. 255\u2013270. Springer, Heidelberg (2007)"},{"key":"11_CR3","volume-title":"POPL","author":"C. Calcagno","year":"2005","unstructured":"Calcagno, C., Gardner, P., Zarfaty, U.: Context logic and tree update. In: POPL, vol.\u00a040, ACM, New York (2005)"},{"key":"11_CR4","unstructured":"Cardelli, L., Gordon, A.D.: Ambient logic. Mathematical Structures in Computer Science (in press, 2006)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing\u00a013 (2002)","DOI":"10.1007\/s001650200016"},{"key":"11_CR6","volume-title":"PODS","author":"P. Gardner","year":"2008","unstructured":"Gardner, P., Smith, G., Wheelhouse, M., Zarfaty, U.: Local Hoare reasoning about DOM. In: PODS, vol.\u00a027, ACM, New York (2008)"},{"key":"11_CR7","unstructured":"Gardner, P., Wheelhouse, M.: Small specifications for tree update (extended version) (2009), http:\/\/www.doc.ic.ac.uk\/~mjw03\/PersonalWebpage\/pdfs\/moveFull.pdf"},{"key":"11_CR8","unstructured":"Gardner, P., Zarfaty, U.: Reasoning about high-level tree update and its low-level implementation. Technical Report DTR09-9, Imperial College (2009)"},{"key":"11_CR9","volume-title":"TOIT 2003","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Xduce: A statically typed XML processing language. In: TOIT 2003, vol.\u00a03, ACM, New York (2003)"},{"key":"11_CR10","volume-title":"POPL 2001","author":"S. Ishtiaq","year":"2001","unstructured":"Ishtiaq, S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL 2001, vol.\u00a036, ACM, New York (2001)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"R. Milner","year":"1994","unstructured":"Milner, R.: Pi-nets: A graphical form of \u03c0-calculus. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, Springer, Heidelberg (1994)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes I & II. Information and Computation\u00a0100 (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","first-page":"15","volume-title":"Computer Science Logic","author":"P.W. O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P.W., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, p. 15. Springer, Heidelberg (2001)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. Theoretical Computer Science\u00a0375 (2007)","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-78499-9_15","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Raza","year":"2008","unstructured":"Raza, M., Gardner, P.: Footprints in local reasoning. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 201\u2013215. Springer, Heidelberg (2008)"},{"key":"11_CR16","unstructured":"Smith, G.: Providing a formal specification for DOM core level 1. PhD Thesis, (to be submitted) (December 2009)"},{"key":"11_CR17","unstructured":"Vafeiadis, V.: Modular fine-grained concurrency verification. Technical Report UCAM-CL-TR-726, Cambridge (2008)"},{"key":"11_CR18","unstructured":"W3C. Dom: Document object model. W3C recommendation (2005), http:\/\/www.w3.org\/DOM\/"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45931-6_28","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Yang","year":"2002","unstructured":"Yang, H., O\u2019Hearn, P.W.: A semantic basis for local reasoning. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, p. 402. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14458-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:53:08Z","timestamp":1606186388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14458-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144578","9783642144585"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14458-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}