{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:09:18Z","timestamp":1767262158320},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:19:34Z","timestamp":1330294774000},"page":"52-66","source":"Crossref","is-referenced-by-count":67,"title":["Cache behavior prediction by abstract interpretation"],"prefix":"10.1007","author":[{"given":"Martin","family":"Alt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Martin Alt and Florian Martin. Generation of efficient interprocedural analyzers with PAG. In SAS'95, Static Analysis Symposium, pages 33\u201350. Springer-Verlag LNCS 983, September 1995.","DOI":"10.1007\/3-540-60360-3_31"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Robert Arnold, Frank Mueller, David B. Whalley, and Marion Harmon. Bounding worst-case instruction cache performance. In IEEE Symposium on Real-Time Systems, pages 172\u2013181, Dec 1994.","DOI":"10.1109\/REAL.1994.342718"},{"key":"5_CR3","unstructured":"Swagato Basumallick and Kelvin Nilsen. Cache issues in real-time systems. In Proceedings of the 1994 ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, June 1994."},{"key":"5_CR4","first-page":"106","volume-title":"Static determination of dynamic properties of programs","author":"P. Cousot","year":"1976","unstructured":"P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the second International Symposium on Programming, pages 106\u2013130, Dunod, Paris, France, 1976."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, CA, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Wolfgang A. Halang and Krzysztof M. Sacha. Real-Time Systems. World Scientific, 1992.","DOI":"10.1142\/1740"},{"key":"5_CR7","unstructured":"Ludwell Harrison. Personal communication on Abstract Interpretation, Dagstuhl Seminar, 1995."},{"key":"5_CR8","unstructured":"J.L Hennessy and D.A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 1990."},{"issue":"7","key":"5_CR9","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S. Lim","year":"1995","unstructured":"Sung-Soo Lim, Young Hyun Bae, Gye Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sangz Kim. An accurate worst case timing analysis for risc processors. IEEE Transactions on Software Engineering, 21(7):593\u2013604, July 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR10","unstructured":"Frank Mueller, David B. Whalley, and Marion Harmon. Predicting instruction cache behavior. In Proceedings of the 1994 ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, June 1994."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kelvin D. Nilsen and Bernt Rygg. Worst-case execution time analysis on modern processors. In Proceedings of the 1995 ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, June 1995.","DOI":"10.1145\/216636.216650"},{"issue":"5","key":"5_CR12","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"25","author":"C. Y. Park","year":"1991","unstructured":"Chang Yun Park and Alan C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, 25(5):48\u201357, May 1991.","journal-title":"IEEE Computer"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and Ch. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems, 1:159\u2013176, 1989.","journal-title":"Real-Time Systems"},{"key":"5_CR14","unstructured":"J. Rawat. Static analysis of cache performance for real-time programming. Masters thesis, Iowa State University, May 1993."},{"key":"5_CR15","unstructured":"Micha Sharir and Amir Pnueli. Two approaches to interprocedural data flow analysis. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189\u2013233. Prentice-Hall, 1981."},{"issue":"3","key":"5_CR16","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1145\/356887.356892","volume":"14","author":"A.J. Smith","year":"1983","unstructured":"A.J. Smith. Cache memories. ACM Computing surveys, 14(3):473\u2013530, Sep 1983.","journal-title":"ACM Computing surveys"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Alexander D. Stoyenko, V. Carl Hamacher, and Richard C. Holt. Analyzing hard-real-time programs for guaranteed schedulability. IEEE Transactions on Software Engineering, 17(8), August 1991.","DOI":"10.1109\/32.83911"},{"key":"5_CR18","unstructured":"Reinhard Wilhelm and Dieter Maurer. Compiler Design. International Computer Science Series. Addison-Wesley, 1995."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:11Z","timestamp":1619573771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}