{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:17:24Z","timestamp":1778249844947,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540003489","type":"print"},{"value":"9783540363842","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,12,16]],"date-time":"2002-12-16T00:00:00Z","timestamp":1039996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,16]],"date-time":"2002-12-16T00:00:00Z","timestamp":1039996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36384-x_9","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T09:21:13Z","timestamp":1196328073000},"page":"70-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Optimized Live Heap Bound Analysis"],"prefix":"10.1007","author":[{"given":"Leena","family":"Unnikrishnan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhong A.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"9_CR1","unstructured":"H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 2 edition, 1996."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. Altenbernd. On the false path problem in hard real-time programs. In Proceedings of the 8th EuroMicro Workshop on Real-Time Systems, pages 102\u2013107, L\u2019Aquila, June 1996.","DOI":"10.1109\/EMWRTS.1996.557827"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"D. Bacon, C. Attanasio, H. Lee, V. Rajan, and S. Smith. Java without the coffee breaks: A non-intrusive multiprocessor garbage collector. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, 2001.","DOI":"10.1145\/378795.378819"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"W.-N. Chin and S.-C. Khoo. Calculating sized types. In Proceedings of the ACM SIGPLAN 2000 Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 62\u201372. ACM, New York, Jan. 2000.","DOI":"10.1145\/328690.328893"},{"key":"9_CR5","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press\/McGraw-Hill, 1990."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"K. Crary and S. Weirich. Resource bound certification. In Conference Record of the 27th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, Jan. 2000.","DOI":"10.1145\/325694.325716"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(91)90145-R","volume":"79","author":"P. Flajolet","year":"1991","unstructured":"P. Flajolet, B. Salvy, and P. Zimmermann. Automatic average-case analysis of algorithms. Theoretical Computer Science, Series A, 79(1):37\u2013109, Feb. 1991.","journal-title":"Theoretical Computer Science, Series A"},{"key":"9_CR8","unstructured":"Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture. ACM, New York, Sept. 1989."},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1145\/325478.325479","volume":"21","author":"S. Ghosh","year":"1999","unstructured":"S. Ghosh, M. Martonosi, and S. Malik. Cache miss equations: A compiler framework for analyzing and tuning memory behavior. ACM Trans. Program. Lang. Syst., 21(4):703\u2013746, July 1999.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"G. G\u00f3mez and Y. A. Liu. Automatic time-bound analysis for a higher-order language. In Proceedings of the ACM SIGPLAN 2002 Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 75\u201386. ACM Press, 2002.","DOI":"10.1145\/503032.503039"},{"key":"9_CR11","unstructured":"R. Henriksson. Scheduling Garbage Collection in Embedded Systems. PhD thesis, Department of Computer Science, Lund University, Sept. 1998."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"M. Hofmann and S. Jost. Static prediction of heap space usage for first-order functional programs. In Proc. ACM Symposium on Principles of Programming Languages. ACM Press, Jan. 2003.","DOI":"10.1145\/604131.604148"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. Hughes and L. Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 70\u201381. ACM, New York, Sept. 1999.","DOI":"10.1145\/317636.317785"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"J. Hughes, L. Pareto, and A. Sabry. Proving the correctness of reactive systems using sized types. In Conference Record of the 23rd Annual ACM Symposium on Principles of Programming Languages, pages 410\u2013423. ACM, New York, Jan. 1996.","DOI":"10.1145\/237721.240882"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"S. B. Jones and D. Le M\u00e9tayer. Compile-time garbage collection by sharing analysis. In FPCA 1989 [8], pages 54\u201374.","DOI":"10.1145\/99370.99375"},{"key":"9_CR16","unstructured":"Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems. ACM, New York, May 1999."},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/42190.42347","volume":"10","author":"D. Le M\u00e9tayer","year":"1988","unstructured":"D. Le M\u00e9tayer. Ace: An automatic complexity evaluator. ACM Trans. Program. Lang. Syst., 10(2):248\u2013266, Apr. 1988.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"12","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1109\/TC.2001.970569","volume":"50","author":"Y. A. Liu","year":"2001","unstructured":"Y. A. Liu and G. G\u00f3mez. Automatic accurate cost-bound analysis for high-level languages. IEEE Transactions on Computers, 50(12):1295\u20131309, Dec. 2001.","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR19","unstructured":"Y. A. Liu and S. D. Stoller. Optimizing Ackermann\u2019s function by incrementalization. Technical Report DAR 01-1, Computer Science Department, SUNY Stony Brook, Jan. 2001."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"M. Martonosi, A. Gupta, and T. Anderson. Effiectiveness of trace sampling for performance debugging tools. In Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 248\u2013259. ACM, New York, 1992.","DOI":"10.1145\/166955.167023"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"C. Y. Park. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, 5:31\u201362, 1993.","journal-title":"Real-Time Systems"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"P. Persson. Live memory analysis for garbage collection in embedded systems. In LCTES 1999 [16], pages 45\u201354.","DOI":"10.1145\/314403.314440"},{"key":"9_CR23","unstructured":"W. Pugh. The Omega Test: A fast and practical integer programming algorithm for dependence analysis. Commun. ACM, 31(8), Aug. 1992."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"M. Rosendahl. Automatic complexity analysis. In FPCA 1989 [8], pages 144\u2013156.","DOI":"10.1145\/99370.99381"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"I. Ryu. Issues and challenges in developing embedded software for information appliances and telecommunication terminals. In LCTES 1999 [16], pages 104\u2013120. Invited talk.","DOI":"10.1145\/314403.314471"},{"key":"9_CR26","unstructured":"L. Unnikrishnan, S. D. Stoller, and Y. A. Liu. Optimized live heap bound analysis. Technical Report DAR 01-2, Computer Science Dept., SUNY at Stony Brook, Oct. 2001, Available at http:\/\/www.cs.sunysb.edu\/~stoller\/dar012.html."},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"L. Unnikrishnan, S. D. Stoller, and Y. A. Liu. Automatic accurate live memory analysis for garbage-collected languages. In Proc. ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 102\u2013111. ACM Press, 2001.","DOI":"10.1145\/384197.384212"},{"key":"9_CR28","series-title":"Lect Notes Comput Sci","first-page":"16","volume-title":"On predicting data cache behaviour for real-time systems","author":"R. Wilhelm","year":"1998","unstructured":"R. Wilhelm and C. Ferdinand. On predicting data cache behaviour for real-time systems. In Proceedings of the ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science, pages 16\u201330. Springer-Verlag, June 1998."},{"key":"9_CR29","unstructured":"P. Zimmermann and W. Zimmermann. The automatic complexity analysis of divide-and-conquer algorithms. In Computer and Information Sciences VI. Elsevier, 1991."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36384-X_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:57:49Z","timestamp":1778248669000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36384-X_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003489","9783540363842"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-36384-x_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12,16]]},"assertion":[{"value":"16 December 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}