{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:01:47Z","timestamp":1761487307097,"version":"3.32.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01088804","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:15:08Z","timestamp":1107540908000},"page":"183-212","source":"Crossref","is-referenced-by-count":7,"title":["Schedulability-analyzable exception handling for fault-tolerant real-time languages"],"prefix":"10.1007","volume":"7","author":[{"given":"T. J.","family":"Marlowe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. D.","family":"Stoyenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. P.","family":"Masticola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. R.","family":"Welch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Ada 9X Mapping Team, Intermetrics, Inc.Ada 9X Integrated Language Specification, DRAFT, Version 1.2, Cambridge, MA, December 1992a."},{"key":"CR2","unstructured":"Ada 9X Mapping Team, Intermetrics, Inc.Ada 9X Snapshot of Annexes Prior to Revision, Version 4.9, Cambridge, MA, October 1992b."},{"key":"CR3","unstructured":"American National Standards Institute, Inc.Military Standard Ada Programming Language, (ANSI\/MIL-STD-1815A), January 1983."},{"key":"CR4","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman.Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"issue":"7","key":"CR5","first-page":"47","volume":"23","author":"D. Callahan","year":"1988","unstructured":"D. Callahan. The program summary graph and flow-sensitive interprocedural data flow analysis. InProceedings, ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, SIGPLAN Notices, 23(7):47?56, June 1988.","journal-title":"Proceedings, ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, SIGPLAN Notices"},{"issue":"7","key":"CR6","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/13310.13327","volume":"21","author":"D. Callahan","year":"1986","unstructured":"D. Callahan, K. D. Cooper, K. Kennedy, and L. M. Torczon. Interprocedural constant propagation. InProceedings, ACM SIGPLAN '86 Symposium on Compiler Construction, SIGPLAN Notices, 21(7):152?161, June 1986.","journal-title":"Proceedings, ACM SIGPLAN '86 Symposium on Compiler Construction, SIGPLAN Notices"},{"key":"CR7","unstructured":"A. Demers. Advanced tutorial, Portable multilanguage run-time systems. At 1993 ACM SIGPLAN PLDT'93, June 1993."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"C. Feder-Andres and R. Schorr. Reliability and efficiency aspects of real-time exception handling.International Workshop on Real-Time Programming (WRTP '92), pp. 25?31, June 1992.","DOI":"10.1016\/B978-0-08-041894-0.50007-1"},{"issue":"12","key":"CR9","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J. B. Goodenough","year":"1975","unstructured":"J. B. Goodenough. Exception handling: Issues and a proposed notation.Comm. ACM, 18(12):683?696, December 1975.","journal-title":"Comm. ACM"},{"key":"CR10","unstructured":"M. Herlihy.Replication Methods for Abstract Data Types. Ph.D. Thesis, Massachusetts Institute of Technology, 1984."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"W. A. Halang and A. D. Stoyenko.Constructing Predictable Real-Time Systems. Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-1-4615-4032-8"},{"key":"CR12","unstructured":"M. Hecht.Flow Analysis of Computer Programs. Elsevier, 1977."},{"issue":"3","key":"CR13","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D. R. Jefferson","year":"1985","unstructured":"D. R. Jefferson. Virtual time.ACM TOPLAS, 7(3):404?425, July 1985.","journal-title":"ACM TOPLAS"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"N. D. Jones and S. S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. InConference Record Ninth Annual ACM Symposium on Principles of Programming Languages, pp. 66?74, January 1982.","DOI":"10.1145\/582153.582161"},{"issue":"9","key":"CR15","doi-asserted-by":"crossref","first-page":"940","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"E. Kligerman and A. D. Stoyenko. Real-time Euclid: A language for reliable real-time systems.IEEE Trans. Software Engineering, SE-12(9):940?949, September 1986.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"6","key":"CR16","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/TSE.1979.230191","volume":"SE-5","author":"B. H. Liskov","year":"1979","unstructured":"B. H. Liskov and A. Snyder. Exception handling in CLU.IEEE Trans. Software Engineering, SE-5(6):546?558, November 1979.","journal-title":"IEEE Trans. Software Engineering"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"T. J. Marlowe and S. P. Masticola. Safe optimization for hard-real-time programming. InProceedings, Second International Conference on Systems Integration, pp. 435?445, June 1992.","DOI":"10.1109\/ICSI.1992.217244"},{"key":"CR18","unstructured":"T. J. Marlowe, A. D. Stoyenko, L. R. Welch, P. LaPlante, and S. P. Masticola. Incremental analysis for reuse and change in hard-real-time systems. InTenth IEEE Workshop on Real-Time Operating Systems and Software, pp. 85?92, May 1993."},{"key":"CR19","unstructured":"A. K. Mok, P. Amerasinghe, M. Chen, and K. Tantisirivat. Evaluating tight execution time bounds of programs by annotations. InSixth IEEE Workshop on Real-Time Operating Systems and Software, pp. 74?80, May 1989."},{"key":"CR20","unstructured":"R. Milner and M. Tofte.Commentary on Standard ML. MIT Press, 1992."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"D. Niehaus. Program representation and translation for predictable real-time systems. InProceedings, IEEE 1991 Real-Time Systems Symposium, pp. 53?63, 1992.","DOI":"10.1109\/REAL.1991.160358"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"V. Nirkhe and W. Pugh. Partial evaluation of high-level imperative languages, with applications in hard real-time systems. InConference Record Nineteenth Annual ACM Conf. on Principles of Programming Languages, pp. 269?280, January 1992.","DOI":"10.1145\/143165.143223"},{"issue":"1","key":"CR23","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01088695","volume":"5","author":"V. Nirkhe","year":"1993","unstructured":"V. Nirkhe and W. Pugh. A partial evaluator for the Maruti hard-real-time system.J. Real-Time Syst., 5(1):13?30, March 1993.","journal-title":"J. Real-Time Syst."},{"issue":"1","key":"CR24","doi-asserted-by":"crossref","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.J. Real-Time Syst., 5(1):31?62, March 1993.","journal-title":"J. Real-Time Syst."},{"key":"CR25","unstructured":"A. C. Shaw. Deterministic timing schemata for parallel programs. University of Washington, Department of Computer Science and Engineering, Technical Report 89-05-06, May 1990."},{"issue":"7","key":"CR26","first-page":"147","volume":"28","author":"D. Sitaram","year":"1993","unstructured":"D. Sitaram. Handling control. InProceedings, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '93), SIGPLAN Notices, 28(7):147?155, June 1993.","journal-title":"Proceedings, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '93), SIGPLAN Notices"},{"key":"CR27","unstructured":"G. Steele Jr.Common LISP: the Language. Digital Press, 1984."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko. SUPRA-RPC:SUBprogramPaRAmeters inRemoteProcedureCalls.SOFTWARE?Practice and Experience, 24(1):27?49.","DOI":"10.1002\/spe.4380240103"},{"key":"CR29","unstructured":"A. D. Stoyenko. A schedulability analyzer for real-time Euclid. InProceedings, IEEE 1987 Real-Time Systems Symposium, pp. 218?225, December 1987a."},{"key":"CR30","unstructured":"A. D. Stoyenko.A Real-Time Language with A Schedulability Analyzer, Ph.D. Thesis, Department of Computer Science, University of Toronto, 1987b."},{"key":"CR31","unstructured":"A. D. Stoyenko. Language-independent schedulability analysis of real-time systems. InReal-Time Systems Engineering and Applications, S. Pferrer and M. Schiebe, editors. Kluwer Academic Publishers, 1992."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko and T. Baker. Real-time schedulability-analyzable mechanisms in Ada9X.Proc. IEEE, January 1994.","DOI":"10.1109\/5.259429"},{"key":"CR33","unstructured":"A. D. Stoyenko, J. Bosch, M. Ak?it, and T. J. Marlowe. A new heuristic for load-balanced assignment of objects and minimized network communication in distributed programs implemented through inverse remote procedure calls. Under revision."},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko and W. A. Halang. High-integrity PEARL: A language for industrial real-time applications.IEEE Software, July 1993.","DOI":"10.1109\/52.219619"},{"issue":"8","key":"CR35","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/32.83911","volume":"SE-17","author":"A. D. Stoyenko","year":"1991","unstructured":"A. D. Stoyenko, V. C. Hamacher, and R. C. Holt. Analyzing hard-real-time programs for guaranteed schedulability.IEEE Trans. Software Engineering, SE-17(8):737?750, August 1991.","journal-title":"IEEE Trans. Software Engineering"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko and T. J. Marlowe. Schedulability, program transformations and real-time programming.IEEE\/IFAC Real-Time Operating Systems and Software Workshop, Atlanta GA, May 1991.","DOI":"10.1016\/S1474-6670(17)51265-3"},{"issue":"4","key":"CR37","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF00355297","volume":"4","author":"A. D. Stoyenko","year":"1992","unstructured":"A. D. Stoyenko and T. J. Marlowe. Polynomial-time program transformations and schedulability analysis of parallel real-time programs with restricted resource contention.J. Real-Time Syst., 4(4):607?629, 1992.","journal-title":"J. Real-Time Syst."},{"issue":"1","key":"CR38","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0967-0661(93)92107-F","volume":"1","author":"A. D. Stoyenko","year":"1993","unstructured":"A. D. Stoyenko, T. J. Marlowe, W. A. Halang, and M. Younis. Enabling efficient schedulability analysis through conditional linking and program transformation.Control Engineering Practice, 1(1):85?105, 1993.","journal-title":"Control Engineering Practice"},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"A. D. Stoyenko and L. R. Welch. Response time prediction in object-based, parallel embedded systems.Euromicro, 40(2\/3):135?150.","DOI":"10.1016\/0165-6074(94)90081-7"},{"issue":"3","key":"CR40","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1145\/3959.3962","volume":"3","author":"R. E. Strom","year":"1985","unstructured":"R. E. Strom and S. A. Yemini. Optimistic recovery in distributed systems.ACM TOCS, 3(3):204?226, August 1985.","journal-title":"ACM TOCS"},{"key":"CR41","unstructured":"B. Stroustrup.The C++ Programming Language. Addison-Wesley, 1991."},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"L. R. Welch, A. D. Stoyenko, and T. J. Marlowe. Modeling resource contention among distributed periodic processes. InFourth IEEE Symposium on Parallel and Distributed Computing, December 1992.","DOI":"10.1109\/SPDP.1992.242716"},{"issue":"2","key":"CR43","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. Wegman","year":"1991","unstructured":"M. Wegman and F. K. Zadeck. Constant propagation with conditional branches.ACM TOPLAS, 13(2):181?210, April 1991.","journal-title":"ACM TOPLAS"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088804.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088804\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T01:39:01Z","timestamp":1734917941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01088804"],"URL":"https:\/\/doi.org\/10.1007\/bf01088804","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}