{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:40:08Z","timestamp":1747579208818,"version":"3.40.5"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018962626979","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"223-234","source":"Crossref","is-referenced-by-count":1,"title":["C++ in safety critical systems"],"prefix":"10.1007","volume":"4","author":[{"given":"David W.","family":"Binkley","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"326148_CR1","volume-title":"C++ Programming Languages Working Paper","author":"ANSI","year":"1995","unstructured":"ANSI (1995), C++ Programming Languages Working Paper, Document number X3J16\/95-0087\/WG21\/N0687, American National Standards Institute, Washington, DC."},{"key":"326148_CR2","first-page":"290","volume-title":"Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation","author":"T. Austin","year":"1994","unstructured":"Austin, T., S. Breach and G. Sohi (1994), \u201cEfficient Detection of All Pointer and Array Access Errors,\u201d In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, New York, NY, pp. 290\u2013301."},{"key":"326148_CR3","series-title":"Technical Report, Report Number","volume-title":"C++ in Safety Critical Systems","author":"D. Binkley","year":"1996","unstructured":"Binkley, D. (1996), \u201cC++ in Safety Critical Systems,\u201d Technical Report, Report Number IR-5769, National Institute of Standards and Technology, Gaithersburg, MD."},{"key":"326148_CR4","volume-title":"Safer C: Developing Software for High-Integrity and Safety-Critical Systems","author":"L. Hatton","year":"1994","unstructured":"Hatton, L. (1994), Safer C: Developing Software for High-Integrity and Safety-Critical Systems, McGraw-Hill International, Maidenhead, Berkshire, UK."},{"key":"326148_CR5","series-title":"Technical Report, Report Number","doi-asserted-by":"crossref","DOI":"10.2172\/257439","volume-title":"Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems","author":"H. Hecht","year":"1996","unstructured":"Hecht, H., M. Hecht, S. Graff, W. Green, D. Lin, S. Koch, A. Tai and D. Wendelboe (1996), \u201cReview Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems,\u201d Technical Report, Report Number Nureg-CR-6463, US Nuclear Regulatory Commission, Washington, DC."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018962626979.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018962626979\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018962626979.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:13:15Z","timestamp":1747577595000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018962626979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326148"],"URL":"https:\/\/doi.org\/10.1023\/a:1018962626979","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}