{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:57Z","timestamp":1725663297350},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171799"},{"type":"electronic","value":"9783540472391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17179-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:08:11Z","timestamp":1330178891000},"page":"10-35","source":"Crossref","is-referenced-by-count":6,"title":["Concurrent runtime checking of annotated Ada programs"],"prefix":"10.1007","author":[{"given":"David S.","family":"Rosenblum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David C.","family":"Luckham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"2_CR1","unstructured":"The Ada Programming Language Reference Manual. US Department of Defense, US Government Printing Office, February 1983. ANSI\/MIL-STD-1815A-1983."},{"key":"2_CR2","unstructured":"A. Ersoz, D. M. Andrews, and E. J. McCluskey. The Watchdog Task: Concurrent Error Detection Using Assertions. Technical Report 85\u2013267, Computer Systems Laboratory, Stanford University, May 1985."},{"key":"2_CR3","volume-title":"DIANA Reference Manual","author":"A. Evans","year":"1983","unstructured":"A. Evans, K.J. Butler, G. Goos, and W. A. Wulf. DIANA Reference Manual. Tartan Laboratories, Inc., Pittsburgh, PA, revision 3 edition, 1983.","edition":"revision 3 edit"},{"issue":"2","key":"2_CR4","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/989971.989972","volume":"3","author":"B. Krieg-Br\u00fcckner","year":"1983","unstructured":"B. Krieg-Br\u00fcckner. Consistency checking in Ada and Anna: a transformational approach. Ada Letters, 3(2):46\u201354, September\u2013October 1983.","journal-title":"Ada Letters"},{"key":"2_CR5","unstructured":"David J. Lu. Watchdog processors and VLSI. In Proceedings of the National Electronics Conference (Volume 34), pages 240\u2013245, October 1980."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"David C. Luckham, S. M. German, F. W. von Henke, R. A. Karp, P. W. Milne, D. C. Oppen, W. Polak, and W. L. Scherlis. Stanford Pascal Verifier User Manual. Technical Report 79\u2013731, Department of Computer Science, Stanford University, March 1979. (Program Analysis and Verification Group Report 11.).","DOI":"10.21236\/ADA071900"},{"issue":"2","key":"2_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MS.1985.230345","volume":"2","author":"David C. C. Luckham","year":"1985","unstructured":"David C. Luckham and F. W. von Henke. An overview of Anna, a specification language for Ada. IEEE Software, 2(2):9\u201323, March 1985.","journal-title":"IEEE Software"},{"key":"2_CR8","unstructured":"David C. Luckham, F. W. von Henke, B. Krieg-Br\u00fcckner, and O. Owe. Anna\u2014A Language for Annotating Ada Programs. Technical Report 84\u2013261, Computer Systems Laboratory, Stanford University, July 1984. (Program Analysis and Verification Group Report 24)."},{"key":"2_CR9","unstructured":"A. Mahmood and E. J. McCluskey. Concurrent Error Detection Using Watchdog Processors\u2014A Survey. Technical Report 85\u2013266, Computer Systems Laboratory, Stanford University, June 1985."},{"issue":"2","key":"2_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.230347","volume":"2","author":"David S. S. Rosenblum","year":"1985","unstructured":"David S. Rosenblum. A methodology for the design of Ada transformation tools in a DIANA environment. IEEE Software, 2(2):24\u201333, March 1985.","journal-title":"IEEE Software"},{"key":"2_CR11","unstructured":"Sriram Sankar and David S. Rosenblum. The Complete Transformation Methodology for Sequential Runtime Checking of an Anna Subset. Technical Report 86\u2013301, Computer Systems Laboratory, Stanford University, June 1986. (Program Analysis and Verification Group Report 30.)."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Sriram Sankar, David S. Rosenblum, and Randall B. Neff. An implementation of Anna. In Ada in Use: Proceedings of the Ada International Conference, pages 285\u2013296, Cambridge University Press, May 1985.","DOI":"10.1145\/324422.324400"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17179-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:12:22Z","timestamp":1605625942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17179-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171799","9783540472391"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-17179-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}