{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:11Z","timestamp":1725663371895},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555858"},{"type":"electronic","value":"9783540472407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55585-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:14:31Z","timestamp":1330251271000},"page":"165-181","source":"Crossref","is-referenced-by-count":1,"title":["Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications"],"prefix":"10.1007","author":[{"given":"Leslie C.","family":"Lander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"15_CR1","unstructured":"Ada Programming Language Reference Manual (LRM), ANSI\/MIL-STD 1815 A, U.S. Government, Ada Joint Program Office, 1983."},{"key":"15_CR2","unstructured":"Ada 9X Project Report, Requirements Issue 4017, Ada 9X Revision Issues Release 1, April 1990, Ada 9X Project Office."},{"key":"15_CR3","unstructured":"Approved Ada Language Commentaries, ACM Ada Letters, Volume IX, no. 3, Spring 1989."},{"key":"15_CR4","unstructured":"J.G.P. Barnes, Programming in Ada, 3rd Ed., Addison-Wesley, 1989."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"P. Belmont, \u201cOn the access-before-elaboration problem in Ada,\u201d Proceedings of the 1982 AdaTEC Conference on Ada, ACM, New York, 112\u2013119.","DOI":"10.1145\/3304133.3304149"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"M. W. Borger, M. H. Klein, R. A. Veltre, \u201cReal-time software engineering in Ada: Observations and guidelines,\u201d Software Engineering Institute, Carnegie-Mellon University, Tech. Rep. No. CMU\/SEI-89-TR-22, 1989.","DOI":"10.1145\/74261.74303"},{"key":"15_CR7","unstructured":"D.L. Bryan and G.O. Mendal, Exploring Ada, Volume 1, Prentice-Hall, 1990."},{"issue":"no.6","key":"15_CR8","first-page":"43","volume":"VII","author":"A. Burns","year":"1987","unstructured":"A. Burns and A.J. Wellings, \u201cReal-time Ada issues,\u201d Proc. 1st Int. Workshop on Real-Time Ada Issues, Ada Letters VII, no. 6, pp. 43\u201346, 1987.","journal-title":"Proc. 1st Int. Workshop on Real-Time Ada Issues, Ada Letters"},{"key":"15_CR9","unstructured":"N.H. Cohen, Ada as a second language, McGraw-Hill, 1986."},{"issue":"no.6","key":"15_CR10","first-page":"29","volume":"VII","author":"D. Cornhill","year":"1987","unstructured":"D. Cornhill, \u201cSession summary: tasking,\u201d Proc. 1st Int. Workshop on Real-Time Ada Issues, Ada Letters VII, no. 6, pp. 29\u201332, 1987.","journal-title":"Proc. 1st Int. Workshop on Real-Time Ada Issues, Ada Letters"},{"issue":"no.7","key":"15_CR11","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/58612.59370","volume":"VIII","author":"T. Elrad","year":"1988","unstructured":"T. Elrad, \u201cComprehensive scheduling controls for Ada tasking,\u201d Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters VIII, no. 7, pp. 12\u201319, 1988.","journal-title":"Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters"},{"issue":"no.7","key":"15_CR12","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/58612.59371","volume":"VIII","author":"J. B. Goodenough","year":"1988","unstructured":"J.B. Goodenough and L.Sha, \u201cThe priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks,\u201d Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters VIII, no. 7, pp. 20\u201331, 1988.","journal-title":"Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"L.C. Lander, S. Mitra, and T.F. Piatkowski, \u201cPriority inversion in Ada programs during elaboration,\u201d Proc. 7th Washington Ada Symp., June 1990, pp. 133\u201341.","DOI":"10.1145\/327011.327068"},{"issue":"no.7","key":"15_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/101120.101134","volume":"10","author":"L. C. Lander","year":"1990","unstructured":"L.C. Lander, S. Mitra, and T.F. Piatkowski, \u201cDeterministic priority inversion in Ada selective waits,\u201d ACM Ada Letters, vol. 10, no. 7, pp. 55\u201362, 1990.","journal-title":"ACM Ada Letters"},{"key":"15_CR15","unstructured":"L.C. Lander, S. Mitra, N. Singhvi, and T.F. Piatkowski, \u201cThe elaboration order problem of Ada,\u201d Dept. of Computer Science, SUNY Binghamton, Tech. Rep. No. CS-TR-90-57, 1990 (to appear in Software-Practice and Experience)."},{"key":"15_CR16","unstructured":"L.C. Lander, S. Mitra, \u201cDetection and avoidance of elaboration-time problems for multi-unit real-time Ada application,\u201d Dept. of Computer Science, SUNY Binghamton, Tech. Rep. No. CS-TR-90-58, 1990."},{"issue":"no.7","key":"15_CR17","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/58612.59374","volume":"VIII","author":"D. Locke","year":"1988","unstructured":"D. Locke, L. Sha, R. Rajkumar, J. Lehoczky and G. Burns, \u201cPriority inversion and its control: an experimental investigation,\u201d Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters VIII, no. 7, pp. 39\u201342, 1988.","journal-title":"Proc. 2nd Int. Workshop on Real-Time Ada Issues, Ada Letters"},{"key":"15_CR18","unstructured":"P.E. McMahon, \u201cLessons learned on the fringe of Ada,\u201d Interservices Training Systems Conference, Fort Worth, Texas, November 1989."},{"issue":"no.4","key":"15_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"L. Sha and J.B. Goodenough, \u201cReal-time scheduling theory and Ada,\u201d IEEE Computer, vol. 23, no. 4, pp. 53\u201362, 1990.","journal-title":"IEEE Computer"},{"key":"15_CR20","unstructured":"L. Sha, R. Rajkumar, J.P. Lehoczky, \u201cPriority inheritance protocols: An approach to real-time synchronization,\u201d Computer Science Dept., Carnegie-Mellon University, Tech. Rep. CMU-CS-87-181, 1987."},{"key":"15_CR21","unstructured":"D.A. Watt, B.A. Wichmann and W.Findlay, Ada language and methodology, Prentice-Hall, 1987."}],"container-title":["Lecture Notes in Computer Science","Ada: Moving Towards 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55585-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:17:55Z","timestamp":1687285075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55585-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555858","9783540472407"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-55585-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}