{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:37:02Z","timestamp":1761935822801,"version":"build-2065373602"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf00365315","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T12:58:28Z","timestamp":1099400308000},"page":"115-144","source":"Crossref","is-referenced-by-count":9,"title":["Worst-case space and time complexity of recursive procedures"],"prefix":"10.1007","volume":"11","author":[{"given":"Johann","family":"Blieberger","sequence":"first","affiliation":[]},{"given":"Roland","family":"Lieger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A. V. Aho","year":"1974","unstructured":"Aho, A. V., Hopcroft, J. E., and Ullman, J. D. 1974. The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley."},{"issue":"3","key":"CR2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0096-0551(94)90004-3","volume":"20","author":"J. Blieberger","year":"1994","unstructured":"Blieberger, J. 1994. Discrete loops and worst case performance. Computer Languages 20(3): 193?212.","journal-title":"Computer Languages"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Blieberger, J., and Lieger, R. 1995. Real-time recursive procedures. In Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems, pages 229?235, Odense.","DOI":"10.1109\/EMWRTS.1995.514316"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0304-3975(80)90018-3","volume":"11","author":"N. Blum","year":"1980","unstructured":"Blum, N., and Mehlhorn, K. 1980. On the average number of rebalancing operations in weight-balanced trees. Theoretical Computer Science 11: 303?320.","journal-title":"Theoretical Computer Science"},{"key":"CR5","volume-title":"Object-Oriented Design with Applications","author":"G. Booch","year":"1991","unstructured":"Booch, G. 1991. Object-Oriented Design with Applications. Redwood City, CA: Benjamin\/Cummings."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18960-2","volume-title":"PORTAL Language Description","author":"A. Businger","year":"1985","unstructured":"Businger, A. 1985. PORTAL Language Description, volume 198 of Lecture Notes in Computer Science. Berlin: Springer Verlag."},{"key":"CR7","unstructured":"DIN 66253, Teil 2, Beuth Verlag, Berlin. 1982. Programmiersprache PEARL, Full PEARL."},{"key":"CR8","volume-title":"The Annotated C++ Reference Manual","author":"M. A. Ellis","year":"1990","unstructured":"Ellis, M. A., and Stroustrup, B. 1990. The Annotated C++ Reference Manual. Reading, MA: Addison-Wesley."},{"key":"CR9","unstructured":"Forsyth, C. 1993. Using the worst-case execution analyser. Technical report, York Software Engineering Ltd., University of York: Task 8, Volume D Deliverable on ESTEC contract 9198\/90\/NL\/SF, May."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00365999","volume":"3","author":"N. Gehani","year":"1991","unstructured":"Gehani, N., and Ramamritham, K. 1991. Real-time Concurrent C: A language for programming dynamic real-time systems. The Journal of Real-Time Systems 3: 377?405.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4032-8","volume-title":"Constructing Predictable Real Time Systems","author":"W. A. Halang","year":"1991","unstructured":"Halang, W. A., and Stoyenko, A. D. 1991. Constructing Predictable Real Time Systems. Boston: Kluwer Academic Publishers."},{"key":"CR12","volume-title":"G\u00f6del, Escher, Bach?an Eternal Golden Braid","author":"D. R. Hofstadter","year":"1979","unstructured":"Hofstadter, D. R. 1979. G\u00f6del, Escher, Bach?an Eternal Golden Braid. New York: Basic Books."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Ishikawa, Y., Tokuda, H., and Mercer, C. W. 1990. Object-oriented real-time language design: Constructs for timing constraints. In ECOOP\/OOPSLA '90 Proceedings, pages 289?298, October.","DOI":"10.1145\/97945.97980"},{"key":"CR14","unstructured":"ISO\/IEC 8652. Ada Reference manual, 1995."},{"issue":"9","key":"CR15","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E., and Stoyenko, A. D. 1986. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering 12(9): 941?949.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR16","volume-title":"Sorting and Searching","author":"D. E. Knuth","year":"1973","unstructured":"Knuth, D. E. 1973. Sorting and Searching, volume 3 of The Art of Computer Programming. Reading, Mass.: Addison-Wesley."},{"key":"CR17","unstructured":"Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabl, W., Senft, C., and Zainlinger, R. 1989. Distributed fault-tolerant real-time systems: The MARS approach. IEEE Micro, pages 25?40."},{"key":"CR18","unstructured":"Lieger, R., and Blieberger, J. 1994. The Ackermann-function effort in space and time. Technical Report 183\/1-48, Department of Automation, Technical University Vienna."},{"issue":"1","key":"CR19","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM 20(1): 46?61.","journal-title":"Journal of the ACM"},{"key":"CR20","volume-title":"Graph Algorithms and NP-Completeness, volume 2 of Data Structures and Algorithms","author":"K. Mehlhorn","year":"1984","unstructured":"Mehlhorn, K. 1984. Graph Algorithms and NP-Completeness, volume 2 of Data Structures and Algorithms. Berlin: Springer-Verlag."},{"key":"CR21","volume-title":"Sorting and Searching, volume 1 of Data Structures and Algorithms","author":"K. Mehlhorn","year":"1984","unstructured":"Mehlhorn, K. 1984. Sorting and Searching, volume 1 of Data Structures and Algorithms. Berlin: Springer-Verlag."},{"key":"CR22","first-page":"5","volume-title":"Proceedings of the IEEE Real Time Systems Symposium","author":"A. K. Mok","year":"1984","unstructured":"Mok, A. K. 1984. The design of real-time programming systems based on process models. In Proceedings of the IEEE Real Time Systems Symposium, pages 5?16, Austin, Texas, IEEE Press."},{"key":"CR23","unstructured":"Mok, A. K., Amerasinghe, P., Chen, M., and Tantisirivat, K. 1989. Evaluating tight execution time bounds of programs by annotations. In Proc. IEEE Workshop on Real-Time Operating Systems and Software, pages 74?80."},{"issue":"1","key":"CR24","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1137\/0202005","volume":"2","author":"I. Nievergelt","year":"1973","unstructured":"Nievergelt, I., and Reingold, E. M. 1973. Binary search trees of bounded balance. SIAM Journal of Computing 2(1): 33?43.","journal-title":"SIAM Journal of Computing"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"Park, C. Y. 1993. Predicting program execution times by analyzing static and dynamic program paths. The Journal of Real-Time Systems 5: 31?62.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P., and Koza, C. 1989. Calculating the maximum execution time of real-time programs. The Journal of Real-Time Systems 1: 159?176.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR27","volume-title":"Algorithms","author":"R. Sedgewick","year":"1988","unstructured":"Sedgewick, R. 1988. Algorithms. Reading, MA: Addison-Wesley, second edition.","edition":"second edition"},{"issue":"7","key":"CR28","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. C. Shaw","year":"1989","unstructured":"Shaw, A. C. 1989. Reasoning about time in higher-level language software. IEEE Transactions on software Engineering 15(7): 875?889.","journal-title":"IEEE Transactions on software Engineering"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Vitter, J. S., and Flajolet, P. 1990. Average-case analysis of algorithms and data structures. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A: Algorithms and Complexity, pages 431?524. North-Holland.","DOI":"10.1016\/B978-0-444-88071-0.50014-X"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365315.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00365315\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:47:28Z","timestamp":1585936048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00365315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF00365315"],"URL":"https:\/\/doi.org\/10.1007\/bf00365315","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}