{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:25:03Z","timestamp":1726410303665},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171635"},{"type":"electronic","value":"9783642171642"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_30","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T10:54:39Z","timestamp":1290164079000},"page":"439-454","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Mix of Approximation and Separation"],"prefix":"10.1007","author":[{"given":"Aquinas","family":"Hobor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Dockins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew W.","family":"Appel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Appel, A., Dockins, R., Hobor, A.: Mechanized Semantic Library (2009-2010), \n                    \n                      http:\/\/msl.cs.princeton.edu"},{"key":"30_CR2","unstructured":"Ahmed, A.J.: Semantics of Types for Mutable State. PhD thesis, Princeton University, Princeton, NJ, Tech Report TR-713-04 (November 2004)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Melli\u00e8s, P.-A., Richards, C.D., Vouillon, J.: A very modal model of a modern, major, general type system. In: Proc. 34th Annual Symposium on Principles of Programming Languages (POPL 2007), pp. 109\u2013122 (January 2007)","DOI":"10.1145\/1190216.1190235"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Calcagno, C., O\u2019Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: LICS 2007: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pp. 366\u2013378 (2007)","DOI":"10.1109\/LICS.2007.30"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Dreyer, D., Ahmed, A., Birkedal, L.: Logical step-indexed logical relations. In: Proceedings 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009 (2009)","DOI":"10.1109\/LICS.2009.34"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Dockins, R., Appel, A.W., Hobor, A.: Multimodal separation logic for reasoning about operational semantics. In: 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). Springer Electronic Notes in Theoretical Computer Science (ENTCS), pp. 5\u201320 (2008)","DOI":"10.1016\/j.entcs.2008.10.002"},{"key":"30_CR7","unstructured":"Dockins, R., Hobor, A.: A theory of termination via indirection (July 2010) (under submission)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-10672-9_13","volume-title":"Programming Languages and Systems","author":"R. Dockins","year":"2009","unstructured":"Dockins, R., Hobor, A., Appel, A.W.: A fresh look at separation algebras and share accounting. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 161\u2013177. Springer, Heidelberg (2009) (to appear)"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-540-78739-6_27","volume-title":"Programming Languages and Systems","author":"A. Hobor","year":"2008","unstructured":"Hobor, A., Appel, A.W., Nardelli, F.Z.: Oracle semantics for concurrent separation logic. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 353\u2013367. Springer, Heidelberg (2008)"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Hobor, A., Dockins, R., Appel, A.W.: A theory of indirection via approximation. In: Proc. 37th Annual ACM Symposium on Principles of Programming Languages (POPL 2010), pp. 171\u2013185 (January 2010)","DOI":"10.1145\/1706299.1706322"},{"key":"30_CR11","unstructured":"Hobor, A.: Oracle Semanatics. PhD thesis, Princeton University, Princeton, NJ (November 2008)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. In: POPL 2006, pp. 42\u201354 (2006)","DOI":"10.1145\/1111037.1111042"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-45793-3_8","volume-title":"Computer Science Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T.: Hoare logics for recursive procedures and unbounded nondeterminism. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol.\u00a02471, pp. 155\u2013182. Springer, Heidelberg (2002)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)","DOI":"10.4324\/9780203252642"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Reynolds, J.: Separation logic: A logic for shared mutable data structures. In: LICS 2002: IEEE Symposium on Logic in Computer Science, pp. 55\u201374 (July 2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"30_CR16","unstructured":"Richards, C.D.: The Approximation Modality in Models of Higher-Order Types. PhD thesis, Princeton University, Princeton, NJ (June 2010)"}],"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-642-17164-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T09:20:03Z","timestamp":1553246403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}