{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:05:10Z","timestamp":1725584710533},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210693"},{"type":"electronic","value":"9783642210709"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21070-9_11","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T04:02:27Z","timestamp":1307419347000},"page":"125-140","source":"Crossref","is-referenced-by-count":1,"title":["Variable Side Conditions and Greatest Relations in Algebraic Separation Logic"],"prefix":"10.1007","author":[{"given":"Han-Hing","family":"Dang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"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","unstructured":"Birkhoff, G.: Lattice Theory, Colloquium Publications, 3rd edn., vol.\u00a0XXV. American Mathematical Society, Providence (1967)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.entcs.2005.11.059","volume":"155","author":"R. Bornat","year":"2006","unstructured":"Bornat, R., Calcagno, C., Yang, H.: Variables as resource in separation logic. Electronic Notes in Theoretical Computer Science\u00a0155, 247\u2013276 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-04639-1_5","volume-title":"Relations and Kleene Algebra in Computer Science","author":"H.-H. Dang","year":"2009","unstructured":"Dang, H.H., H\u00f6fner, P., M\u00f6ller, B.: Towards algebraic separation logic. In: Berghammer, R., Jaoua, A.M., M\u00f6ller, B. (eds.) RelMiCS 2009. LNCS, vol.\u00a05827, pp. 59\u201372. Springer, Heidelberg (2009)"},{"key":"11_CR5","unstructured":"Dang, H.H., H\u00f6fner, P., M\u00f6ller, B.: Algebraic Separation Logic. Tech. Rep. 2010-06, Institute of Computer Science, University of Augsburg (2010)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Dang, H.H., H\u00f6fner, P., M\u00f6ller, B.: Algebraic Separation Logic. J. Logic and Algebraic Programming (accepted, 2011)","DOI":"10.1016\/j.jlap.2011.04.003"},{"key":"11_CR7","first-page":"119","volume-title":"The Scope of Logic, Methodology, and Philosophy of Science: Volume One of the 11th Int. Congress Logic, Methodology and Philosophy of Science, Studies in Epistemology, Logic, Methodology, and Philosophy of Science","author":"D. Kozen","year":"2002","unstructured":"Kozen, D.: On Hoare logic, Kleene algebra, and types. In: G\u00e4rdenfors, P., Wole\u0144ski, J., Kijania-Placek, K. (eds.) The Scope of Logic, Methodology, and Philosophy of Science: Volume One of the 11th Int. Congress Logic, Methodology and Philosophy of Science, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, vol.\u00a0315, pp. 119\u2013133. Kluwer, Dordrecht (2002)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44802-0_1","volume-title":"Computer Science Logic","author":"P.W. O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142, pp. 1\u201319. Springer, Heidelberg (2001)"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1498926.1498929","volume":"31","author":"P.W. O\u2019Hearn","year":"2009","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Separation and information hiding. ACM Trans. Program. Lang. Syst.\u00a031(3), 1\u201350 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR10","first-page":"137","volume-title":"Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science","author":"M. Parkinson","year":"2006","unstructured":"Parkinson, M., Bornat, R., Calcagno, C.: Variables as Resource in Hoare logics. In: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, pp. 137\u2013146. IEEE Computer Society, Los Alamitos (2006)"},{"key":"11_CR11","first-page":"285","volume-title":"Engineering Methods and Tools for Software Safety and Security","author":"J.C. Reynolds","year":"2009","unstructured":"Reynolds, J.C.: An introduction to separation logic. In: Broy, M. (ed.) Engineering Methods and Tools for Software Safety and Security, pp. 285\u2013310. IOS Press, Amsterdam (2009)"},{"key":"11_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs: Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21070-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T08:35:42Z","timestamp":1553762142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}