{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:06:40Z","timestamp":1742976400507,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897392"},{"type":"electronic","value":"9783540897408"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89740-8_7","type":"book-chapter","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T08:14:24Z","timestamp":1227773664000},"page":"94-108","source":"Crossref","is-referenced-by-count":10,"title":["Identification of Heap\u2013Carried Data Dependence Via Explicit Store Heap Models"],"prefix":"10.1007","author":[{"given":"Mark","family":"Marron","sequence":"first","affiliation":[]},{"given":"Darko","family":"Stefanovic","sequence":"additional","affiliation":[]},{"given":"Deepak","family":"Kapur","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-73368-3_22","volume-title":"Computer Aided Verification","author":"J. Berdine","year":"2007","unstructured":"Berdine, J., Calcagno, C., Cook, B., Distefano, D., O\u2019Hearn, P., Wies, T., Yang, H.: Shape analysis for composite data structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 178\u2013192. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Cheng, B.-C., Mei, W., Hwu, W.: Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. ACM SIGPLAN Notices (2000)","key":"7_CR2","DOI":"10.1145\/358438.349311"},{"doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Burke, M., Carini, P.: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: POPL (1993)","key":"7_CR3","DOI":"10.1145\/158511.158639"},{"doi-asserted-by":"crossref","unstructured":"Ghiya, R., Hendren, L.J., Zhu, Y.: Detecting parallelism in C programs with recursive data structures. In: CC (1998)","key":"7_CR4","DOI":"10.1007\/BFb0026429"},{"doi-asserted-by":"crossref","unstructured":"Gulwani, S., Tiwari, A.: An abstract domain for analyzing heap-manipulating low-level software. In: CAV (2007)","key":"7_CR5","DOI":"10.1007\/978-3-540-73368-3_42"},{"doi-asserted-by":"crossref","unstructured":"Guo, B., Vachharajani, N., August, D.: Shape analysis with inductive recursion synthesis. In: PLDI (2007)","key":"7_CR6","DOI":"10.1145\/1250734.1250764"},{"doi-asserted-by":"crossref","unstructured":"Hendren, L.J., Nicolau, A.: Parallelizing programs with recursive data structures. IEEE TPDS\u00a01(1) (1990)","key":"7_CR7","DOI":"10.1109\/71.80123"},{"doi-asserted-by":"crossref","unstructured":"Horwitz, S., Pfeiffer, P., Reps, T.W.: Dependence analysis for pointer variables. In: PLDI (1989)","key":"7_CR8","DOI":"10.1145\/73141.74821"},{"doi-asserted-by":"crossref","unstructured":"Hummel, J., Hendren, L.J., Nicolau, A.: A general data dependence test for dynamic, pointer-based data structures. In: PLDI (1994)","key":"7_CR9","DOI":"10.1145\/178243.178262"},{"unstructured":"Suite, J.: http:\/\/www-ali.cs.umass.edu\/DaCapo\/benchmarks.html","key":"7_CR10"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-27864-1_20","volume-title":"Static Analysis","author":"R. Manevich","year":"2004","unstructured":"Manevich, R., Sagiv, S., Ramalingam, G., Field, J.: Partially disjunctive heap abstraction. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 265\u2013279. Springer, Heidelberg (2004)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-540-72521-3_25","volume-title":"Languages and Compilers for Parallel Computing","author":"M. Marron","year":"2007","unstructured":"Marron, M., Kapur, D., Stefanovic, D., Hermenegildo, M.: A static heap analysis for shape and connectivity. In: Alm\u00e1si, G.S., Ca\u015fcaval, C., Wu, P. (eds.) KSEM 2006. LNCS, vol.\u00a04382, pp. 345\u2013363. Springer, Heidelberg (2007)"},{"unstructured":"Modified Jolden and Demo (May 2008), http:\/\/www.cs.unm.edu\/~marron","key":"7_CR13"},{"doi-asserted-by":"crossref","unstructured":"Rugina, R., Rinard, M.C.: Automatic parallelization of divide and conquer algorithms. In: PPOPP (1999)","key":"7_CR14","DOI":"10.1145\/301104.301111"},{"doi-asserted-by":"crossref","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. In: POPL (1996)","key":"7_CR15","DOI":"10.1145\/237721.237725"},{"unstructured":"Standard Performance Evaluation Corporation. JVM98 Version 1.04 (August 1998), http:\/\/www.spec.org\/jvm98","key":"7_CR16"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89740-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:14:55Z","timestamp":1557936895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89740-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897392","9783540897408"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89740-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}