{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:40:10Z","timestamp":1746178810682,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_10","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"157-172","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Dynamic Frames"],"prefix":"10.1007","author":[{"given":"Han-Hing","family":"Dang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bornat, R., Calcagno, C., O\u2019Hearn, P.W., Parkinson, M.J.: Permission Accounting in Separation Logic. In: Palsberg, J., Abadi, M. (eds.) Proc. of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 259\u2013270. ACM Press (2005)","DOI":"10.1145\/1047659.1040327"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Calcagno, C., O\u2019Hearn, P.W., Yang, H.: Local Action and Abstract Separation Logic. In: Proc. of the 22nd Symposium on Logic in Computer Science, pp. 366\u2013378. IEEE Press (2007)","DOI":"10.1109\/LICS.2007.30"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.jlap.2011.04.003","volume":"80","author":"H.-H. Dang","year":"2011","unstructured":"Dang, H.-H., H\u00f6fner, P., M\u00f6ller, B.: Algebraic Separation Logic. Journal of Logic and Algebraic Programming\u00a080, 221\u2013247 (2011)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-31113-0_10","volume-title":"Mathematics of Program Construction","author":"H.-H. Dang","year":"2012","unstructured":"Dang, H.-H., M\u00f6ller, B.: Reverse Exchange for Concurrency and Local Reasoning. In: Gibbons, J., Nogueira, P. (eds.) MPC 2012. LNCS, vol.\u00a07342, pp. 177\u2013197. Springer, Heidelberg (2012)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Dang, H.-H., M\u00f6ller, B.: Concurrency and Local Reasoning under Reverse Exchange. Science of Computer Programming (2013)","DOI":"10.1016\/j.scico.2013.07.006"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-14107-2_24","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"T. Dinsdale-Young","year":"2010","unstructured":"Dinsdale-Young, T., Dodds, M., Gardner, P., Parkinson, M.J., Vafeiadis, V.: Concurrent Abstract Predicates. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 504\u2013528. Springer, Heidelberg (2010)"},{"key":"10_CR7","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)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1997-32101","volume":"32","author":"M.F. Frias","year":"1997","unstructured":"Frias, M.F., Baum, G., Haeberer, A.M.: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform.\u00a032, 1\u201325 (1997)","journal-title":"Fundam. Inform."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-19835-9_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Garbervetsky","year":"2011","unstructured":"Garbervetsky, D., Gor\u00edn, D., Neisen, A.: Enforcing Structural Invariants using Dynamic Frames. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 65\u201380. Springer, Heidelberg (2011)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-23217-6_17","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"C.A.R. Hoare","year":"2011","unstructured":"Hoare, C.A.R., Hussain, A., M\u00f6ller, B., O\u2019Hearn, P.W., Petersen, R.L., Struth, G.: On Locality and the Exchange Law for Concurrent Processes. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol.\u00a06901, pp. 250\u2013264. Springer, Heidelberg (2011)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Hobor, A., Villard, J.: The Ramifications of Sharing in Data Structures. In: Giacobazzi, R., Cousot, R. (eds.) Proc. of the 40th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 523\u2013536. ACM Press (2013)","DOI":"10.1145\/2480359.2429131"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Jensen, J.B., Birkedal, L.: Fictional Separation Logic. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 377\u2013396. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28869-2_19"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s00165-010-0152-5","volume":"23","author":"I.T. Kassios","year":"2011","unstructured":"Kassios, I.T.: The Dynamic Frames Theory. Formal Aspects of Computing\u00a023, 267\u2013289 (2011)","journal-title":"Formal Aspects of Computing"},{"key":"10_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-17511-4_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"K.R.M. Leino","year":"2010","unstructured":"Leino, K.R.M.: Dafny: An Automatic Program Verifier for Functional Correctness. In: Clarke, E.M., Voronkov, A. (eds.) LPAR-16 2010. LNCS, vol.\u00a06355, pp. 348\u2013370. Springer, Heidelberg (2010)"},{"key":"10_CR15","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-642-19718-5_23","volume-title":"Programming Languages and Systems","author":"M.J. Parkinson","year":"2011","unstructured":"Parkinson, M.J., Summers, A.J.: The Relationship between Separation Logic and Implicit Dynamic Frames. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 439\u2013458. Springer, Heidelberg (2011)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science, pp. 55\u201374. IEEE Computer Society (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-03013-0_8","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"J. Smans","year":"2009","unstructured":"Smans, J., Jacobs, B., Piessens, F.: Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 148\u2013172. Springer, Heidelberg (2009)"}],"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-319-06251-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T09:07:12Z","timestamp":1746176832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}