{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:57:44Z","timestamp":1761944264685,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650751"},{"type":"electronic","value":"9783540496731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057778","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T00:45:07Z","timestamp":1154306707000},"page":"31-40","source":"Crossref","is-referenced-by-count":19,"title":["Automatic accurate time-bound analysis for high-level languages"],"prefix":"10.1007","author":[{"given":"Yanhong A.","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Gomez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"key":"3_CR1","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"},{"volume-title":"Partial Evaluation and Mixed Computation","year":"1988","key":"3_CR2","unstructured":"B. Bj\u00d8rner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation. North-Holland, Amsterdam, 1988."},{"key":"3_CR3","unstructured":"Cadence Research Systems. Chez Scheme System Manual. Cadence Research Systems, Bloomington, Indiana, revision 2.4 edition, July 1994."},{"key":"3_CR4","first-page":"296","volume-title":"Analysis of pointers and structures","author":"D. R. Chase","year":"1990","unstructured":"D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointers and structures. In Proceedings of the ACM SIGPLAN \u201990 Conference on Programming Language Design and Implementation, pages 296\u2013310. ACM, New York, June 1990."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"J. Engblom, P. Altenbernd, and A. Ermedahl. Facilitating worst-case execution time analysis for optimized code. In Proceedings of the 10th EuroMicro Workshop on Real-Time Systems, Berlin, Germany, June 1998.","DOI":"10.1109\/EMWRTS.1998.685079"},{"key":"3_CR6","first-page":"1298","volume-title":"volume 1300 of Lecture Notes in Computer Science","author":"A. Ermedahl","year":"1997","unstructured":"A. Ermedahl and J. Gustafsson. Deriving annotations for tight calculation of execution time. In In Proceedings of Euro-Par\u201997, volume 1300 of Lecture Notes in Computer Science, pages 1298\u20131307. Springer-Verlag, Berlin, Aug. 1997."},{"key":"3_CR7","unstructured":"C. Ferdinand, F. Martin, and R. Wilhelm. Applying compiler techniques to cache behavior prediction. In Proceedings of the ACM SIGPLAN 1997 Workshop on Languages, Compilers, and Tools for Real-Time Systems, pages 37\u201346, 1997."},{"issue":"1","key":"3_CR8","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":"3_CR9","volume-title":"Bounding loop iterations for timing analysis","author":"C. Healy","year":"1998","unstructured":"C. Healy, M. Sj\u00f6din, V. Rustagi, and D. Whalley. Bounding loop iterations for timing analysis. In Proceedings of the IEEE Real-Time Applications Symposium. IEEE CS Press, Los Alamitos, Calif., June 1998."},{"key":"3_CR10","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N. D. Jones","year":"1993","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, N.J., 1993."},{"key":"3_CR11","volume-title":"The Art of Computer Programming, volume 1","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth. The Art of Computer Programming, volume 1. Addison-Wesley, Reading, Mass., 1968."},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/42190.42347","volume":"10","author":"D. M\u00e9tayer Le","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":"7","key":"3_CR13","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S.-S. Lim","year":"1995","unstructured":"S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, S.-M. Moon, and C.-S. Kim. An accurate worst case timing analysis for RISC processors. IEEE Trans. Softw. Eng., 21(7):593\u2013604, July 1995.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR14","volume-title":"Technical Report TR 508","author":"Y. A. Liu","year":"1998","unstructured":"Y. A. Liu and G. Gomezes. Automatic accurate time-bound analysis for high-level languages. Technical Report TR 508, Computer Science Department, Indiana University, Bloomington, Indiana, Apr. 1998."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Static caching for incremental computation. ACM Trans. Program. Lang. Syst., 20(3), May 1998.","DOI":"10.1145\/291889.291895"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-6423(94)00031-9","volume":"24","author":"Y. A. Liu","year":"1995","unstructured":"Y. A. Liu and T. Teitelbaum. Systematic derivation of incremental programs. Sci. Comput. Program., 24(1):1\u201339, Feb. 1995.","journal-title":"Sci. Comput. Program."},{"key":"3_CR17","volume-title":"Technical Report No. 98-3","author":"T. Lundqvist","year":"1998","unstructured":"T. Lundqvist and P. Stenstr\u00f6m. Integrating path and timing analysis using instruction-level simulation techniques. Technical Report No. 98-3, Department of Computer Engineering, Chalmers University of Technology, G\u00f6teborg, Sweden, 1998."},{"key":"3_CR18","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"},{"issue":"5","key":"3_CR19","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Y. Park","year":"1991","unstructured":"C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, 24(5):48\u201357, 1991.","journal-title":"IEEE Computer"},{"key":"3_CR20","first-page":"144","volume-title":"Automatic complexity analysis","author":"M. Rosendahl","year":"1989","unstructured":"M. Rosendahl. Automatic complexity analysis. In Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture, pages 144\u2013156. ACM, New York, Sept. 1989."},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/235543.235545","volume":"14","author":"R. H. Saavedra","year":"1996","unstructured":"R. H. Saavedra and A. J. Smith. Analysis of benchmark characterization and benchmark performance prediction. ACM Transactions on Computer Systems, 14(4):344\u2013384, Nov. 1996.","journal-title":"ACM Transactions on Computer Systems"},{"key":"3_CR22","first-page":"361","volume-title":"volume 432 of Lecture Notes in Computer Science","author":"D. Sands","year":"1990","unstructured":"D. Sands. Complexity analysis for a lazy higher-order language. In Proceedings of the 3rd European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 361\u2013376. Springer-Verlag, Berlin, May 1990."},{"issue":"7","key":"3_CR23","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. Shaw","year":"1989","unstructured":"A. Shaw. Reasoning about time in higher level language software. IEEE Trans. Softw. Eng., 15(7):875\u2013889, July 1989.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR24","volume-title":"Strictness analysis aids time analysis","author":"P. Wadler","year":"1988","unstructured":"P. Wadler. Strictness analysis aids time analysis. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, Jan. 1988."},{"issue":"9","key":"3_CR25","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B. Wegbreit","year":"1975","unstructured":"B. Wegbreit. Mechanical program analysis. Commun. ACM, 18(9):528\u2013538, Sept. 1975.","journal-title":"Commun. ACM"},{"key":"3_CR26","volume-title":"Value dependence graphs: Representation without taxation","author":"D. Weise","year":"1994","unstructured":"D. Weise, R. F. Crew, M. Ernst, and B. Steensgaard. Value dependence graphs: Representation without taxation. In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages. ACM, New York, Jan. 1994."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T14:28:33Z","timestamp":1549895313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650751","9783540496731"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0057778","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}