{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:35Z","timestamp":1725492695877},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_12","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:58:29Z","timestamp":1192024709000},"page":"136-145","source":"Crossref","is-referenced-by-count":5,"title":["Interprocedural Symbolic Evaluation of Ada Programs with Aliases"],"prefix":"10.1007","author":[{"given":"J.","family":"Blieberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Burgstaller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Scholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"12_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Seti, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986."},{"key":"12_CR2","unstructured":"J. Blieberger. Data-flow Frameworks for Worst-Case Execution Time Analysis. (submitted), 1997."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"J. Blieberger and B. Burgstaller. Symbolic Reaching Definitions Analysis of Ada Programs. Proceedings of the Ada-Europe International Conference on Reliable Software Technologies, 238\u2013250, June 1998.","DOI":"10.1007\/BFb0055009"},{"key":"12_CR4","unstructured":"J. Blieberger, T. Fahringer, and B. Scholz. An Accurate Cache Prediction for C-Programs with Symbolic Evaluation. (submitted), 1999."},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/TSE.1979.234207","volume":"5","author":"T. E. Cheatham","year":"1979","unstructured":"T. E. Cheatham, G. H. Holloway, and J. A. Townley. Symbolic Evaluation and the Analysis of Programs. IEEE Trans. on Software Engineering, 5(4):403\u2013417, July 1979.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"\/93","key":"12_CR6","first-page":"232","volume":"1","author":"J. D. Choi","year":"1993","unstructured":"J. D. Choi, M. Burke, and P. Carini. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. ACM PoPL, 1\/93:232\u2013245, 1993.","journal-title":"ACM PoPL"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1145\/233561.233568","volume":"18","author":"M. Haghighat","year":"1996","unstructured":"M. Haghighat, C. Polychronopoulos. Symbolic Analysis for Parallelizing Compilers. ACM Trans. Prog. Lang. Sys., 18(4):477\u2013518, July 1996.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"key":"12_CR8","unstructured":"ISO\/IEC 8652. Ada Reference manual, 1995."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"W. Landi, and B. G. Ryder. Pointer-induced Aliasing: A Problem Classification. Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 235\u2013248, 1992","DOI":"10.1145\/99583.99599"},{"issue":"5","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1145\/186025.186041","volume":"16","author":"G. Ramalingam","year":"1994","unstructured":"G. Ramalingam. The Undecidability of Aliasing. ACM Trans. Prog. Lang. Sys., 16(5):1467\u20131471, 1994.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"key":"12_CR11","unstructured":"V. C. Sreedhar. Effcient Program Analysis Using DJ Graphs. PhD thesis, School of Computer Science, McGill University, Montr\u00e9al, Qu\u00e9bec, Canada, 1995."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T11:12:16Z","timestamp":1684062736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}