{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T00:32:23Z","timestamp":1674088343105},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T00:00:00Z","timestamp":1334188800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s10703-012-0151-7","type":"journal-article","created":{"date-parts":[[2012,4,11]],"date-time":"2012-04-11T09:34:57Z","timestamp":1334136897000},"page":"4-24","source":"Crossref","is-referenced-by-count":2,"title":["A divide-and-conquer approach for analysing overlaid data structures"],"prefix":"10.1007","volume":"41","author":[{"given":"Oukseh","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus","family":"Petersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,12]]},"reference":[{"key":"151_CR1","first-page":"33","volume-title":"Proc of the international conference on verification, model checking, and abstract interpretation","author":"G Arnold","year":"2006","unstructured":"Arnold G, Manevich R, Sagiv M, Shaham R (2006) Combining shape analyses by intersecting abstractions. In: Proc of the international conference on verification, model checking, and abstract interpretation, pp 33\u201348"},{"issue":"7","key":"151_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1965724.1965743","volume":"54","author":"T Ball","year":"2011","unstructured":"Ball T, Levin V, Rajamani SK (2011) A decade of software model checking with SLAM. Commun ACM 54(7):68\u201376","journal-title":"Commun ACM"},{"key":"151_CR3","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-45319-9_19","volume-title":"Proc of the tools and algorithms for the construction and analysis of systems","author":"T Ball","year":"2001","unstructured":"Ball T, Podelski A, Rajamani S (2001) Boolean and Cartesian abstraction for model checking C programs. In: Proc of the tools and algorithms for the construction and analysis of systems, pp 268\u2013283"},{"key":"151_CR4","first-page":"196","volume-title":"Proc of the ACM Conference on programming language design and implementation","author":"B Blanchet","year":"2003","unstructured":"Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Min\u00e9 A, Monniaux D, Rival X (2003) A static analyzer for large safety-critical software. In: Proc of the ACM Conference on programming language design and implementation, pp 196\u2013207"},{"key":"151_CR5","first-page":"289","volume-title":"Proc of the ACM symposium on principles of programming languages","author":"C Calcagno","year":"2009","unstructured":"Calcagno C, Distefano D, O\u2019Hearn P, Yang H (2009) Compositional shape analysis by means of bi-abduction. In: Proc of the ACM symposium on principles of programming languages, pp 289\u2013300"},{"key":"151_CR6","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-15769-1_13","volume-title":"Proc of the international static analysis symposium","author":"R Cherini","year":"2010","unstructured":"Cherini R, Rearte L, Blanco J (2010) A shape analysis for non-linear data structures. In: Proc of the international static analysis symposium, pp 201\u2013217"},{"key":"151_CR7","first-page":"269","volume-title":"Proc of the ACM symposium on principles of programming languages","author":"P Cousot","year":"1979","unstructured":"Cousot P, Cousot R (1979) Systematic design of program analysis frameworks. In: Proc of the ACM symposium on principles of programming languages, pp 269\u2013282"},{"key":"151_CR8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11691372_19","volume-title":"Proc of the tools and algorithms for the construction and analysis of systems","author":"D Distefano","year":"2006","unstructured":"Distefano D, O\u2019Hearn P, Yang H (2006) A local shape analysis based on separation logic. In: Proc of the tools and algorithms for the construction and analysis of systems, pp 287\u2013302"},{"key":"151_CR9","unstructured":"Hawkins P, Aiken A, Fisher K (2010) Reasoning about shared mutable data structures. Manuscript"},{"key":"151_CR10","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-17164-2_15","volume-title":"Proc of the Asian symposium on programming languages and systems","author":"P Hawkins","year":"2010","unstructured":"Hawkins P, Aiken A, Fisher K, Rinard M, Sagiv M (2010) Data structure fusion. In: Proc of the Asian symposium on programming languages and systems, pp 204\u2013221"},{"key":"151_CR11","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/978-3-642-11319-2_17","volume-title":"Proc of the international conference on verification, model checking, and abstract interpretation","author":"J Kreiker","year":"2010","unstructured":"Kreiker J, Seidl H, Vojdani V (2010) Shape analysis of low-level C with overlapping structures. In: Proc of the international conference on verification, model checking, and abstract interpretation, pp 214\u2013230"},{"issue":"12","key":"151_CR12","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TSE.2006.125","volume":"32","author":"V Kuncak","year":"2006","unstructured":"Kuncak V, Lam P, Zee K, Rinard M (2006) Modular pluggable analyses for data structure consistency. IEEE Trans Softw Eng 32(12):988\u20131005","journal-title":"IEEE Trans Softw Eng"},{"key":"151_CR13","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1007\/978-3-642-22110-1_48","volume-title":"Proc of the international conference on computer aided verification","author":"O Lee","year":"2011","unstructured":"Lee O, Yang H, Petersen R (2011) Program analysis for overlaid data structures. In: Proc of the international conference on computer aided verification, pp 592\u2013608"},{"key":"151_CR14","first-page":"49","volume-title":"Proc of the ACM symposium on principles of programming languages","author":"T Reps","year":"1995","unstructured":"Reps T, Horwitz S, Sagiv S (1995) Precise interprocedural dataflow analysis via graph reachability. In: Proc of the ACM symposium on principles of programming languages, pp 49\u201361"},{"key":"151_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/LICS.2002.1029817","volume-title":"Proc. of the IEEE symposium on logic in computer science","author":"JC Reynolds","year":"2002","unstructured":"Reynolds JC (2002) Separation logic: a logic for shared mutable data structures. In: Proc. of the IEEE symposium on logic in computer science, pp 55\u201374"},{"issue":"3","key":"151_CR16","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M Sagiv","year":"2002","unstructured":"Sagiv M, Reps T, Wilhelm R (2002) Parametric shape analysis via 3-valued logic. ACM Trans Program Lang Syst 24(3):217\u2013298","journal-title":"ACM Trans Program Lang Syst"},{"key":"151_CR17","first-page":"285","volume-title":"Proc of the international conference on computer aided verification","author":"H Yang","year":"2008","unstructured":"Yang H, Lee O, Berdine J, Calcagno C, Cook B, Distefano D, O\u2019Hearn P (2008) Scalable shape analysis for systems code. In: Proc of the international conference on computer aided verification, pp 285\u2013398"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0151-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-012-0151-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0151-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:52Z","timestamp":1559253952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-012-0151-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,12]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["151"],"URL":"https:\/\/doi.org\/10.1007\/s10703-012-0151-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,12]]}}}