{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:26Z","timestamp":1725495746683},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766360"},{"type":"electronic","value":"9783540766377"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76637-7_23","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T07:47:52Z","timestamp":1195544872000},"page":"335-350","source":"Crossref","is-referenced-by-count":10,"title":["A Systematic Approach to Probabilistic Pointer Analysis"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Di Pierro","sequence":"first","affiliation":[]},{"given":"Chris","family":"Hankin","sequence":"additional","affiliation":[]},{"given":"Herbert","family":"Wiklicky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Wiklicky, H.: Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation. In: PPDP 2000, pp. 127\u2013138 (2000)","DOI":"10.1145\/351268.351284"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-540-71322-7_8","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"A. Pierro Di","year":"2007","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Abstract interpretation for worst and average case analysis. In: Program Analysis and Compilation, Theory and Practice. LNCS, vol.\u00a04444, pp. 160\u2013174. Springer, Heidelberg (2007)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1109\/TPDS.2004.56","volume":"15","author":"P.S. Chen","year":"2004","unstructured":"Chen, P.S., Hwang, Y.S., Ju, R.D.C., Lee, J.K.: Interprocedural probabilistic pointer analysis. IEEE Trans. Parallel and Distributed Systems\u00a015, 893\u2013907 (2004)","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1145\/1168857.1168908","volume-title":"ASPLOS-XII","author":"J. Silva Da","year":"2006","unstructured":"Da Silva, J., Steffan, J.G.: A probabilistic pointer analysis for speculative optimizations. In: ASPLOS-XII, pp. 416\u2013425. ACM Press, New York (2006)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1142\/S012905410200114X","volume":"13","author":"J. Hartog den","year":"2002","unstructured":"den Hartog, J., de Vink, E.: Verifying probabilistic programs using a Hoare-like logic. International Journal of Foundations of Computer Science\u00a013, 315\u2013340 (2002)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"23_CR6","series-title":"Electronic Notes in Computer Science","first-page":"59","volume-title":"5th International Workshop on Quantotative Aspects of Programming Languages","author":"A. Pierro Di","year":"2007","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: On probabilistic techniques for data flow analysis. In: 5th International Workshop on Quantotative Aspects of Programming Languages. Electronic Notes in Computer Science, vol.\u00a0190(3), pp. 59\u201377. Elsevier, Amsterdam (2007)"},{"key":"23_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Berlin (1999)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: POPL 2002, pp. 178\u2013190 (2002)","DOI":"10.1145\/503272.503290"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45142-0_9","volume-title":"Logic Based Program Synthesis and Transformation","author":"A. Di Pierro","year":"2001","unstructured":"Di Pierro, A., Wiklicky, H.: Measuring the precision of abstract interpretations. In: Lau, K.-K. (ed.) LOPSTR 2000. LNCS, vol.\u00a02042, pp. 147\u2013164. Springer, Heidelberg (2001)"},{"key":"23_CR11","volume-title":"Advanced Linear Algebra","author":"S. Roman","year":"2005","unstructured":"Roman, S.: Advanced Linear Algebra, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"23_CR12","volume-title":"Generalised Inverses","author":"A. Ben-Israel","year":"2003","unstructured":"Ben-Israel, A., Greville, T.: Generalised Inverses, 2nd edn. Springer, Heidelberg (2003)","edition":"2"},{"key":"23_CR13","unstructured":"Eaton, J.: Gnu Octave Manual (2002), http:\/\/www.octave.org"},{"key":"23_CR14","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1978","unstructured":"Billingsley, P.: Probability and Measure. Wiley & Sons, New York (1978)"},{"issue":"6","key":"23_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/773473.178251","volume":"29","author":"T.A. Wagner","year":"1994","unstructured":"Wagner, T.A., Maverick, V., Graham, S.L., Harrison, M.A.: Accurate static estimators for program optimization. SIGPLAN Not.\u00a029(6), 85\u201396 (1994)","journal-title":"SIGPLAN Not."},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Ramalingam, G.: Data flow frequency analysis. In: PLDI 1996, pp. 267\u2013277 (1996)","DOI":"10.1145\/231379.231433"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/173262.155119","volume":"28","author":"T. Ball","year":"1993","unstructured":"Ball, T., Larus, J.R.: Branch prediction for free. SIGPLAN Not.\u00a028, 300\u2013313 (1993)","journal-title":"SIGPLAN Not."},{"key":"23_CR18","volume-title":"Mathematical Statistics","author":"T.S. Ferguson","year":"1967","unstructured":"Ferguson, T.S.: Mathematical Statistics. Academic Press, London (1967)"}],"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-540-76637-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T20:26:00Z","timestamp":1557001560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76637-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766360","9783540766377"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76637-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}