{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:48:35Z","timestamp":1725504515809},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288050"},{"type":"electronic","value":"9781846288067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-806-7_15","type":"book-chapter","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T18:48:29Z","timestamp":1204656509000},"page":"243-260","source":"Crossref","is-referenced-by-count":0,"title":["Formalising C and C++ for Use in High Integrity Systems"],"prefix":"10.1007","author":[{"given":"C M","family":"O\u2019Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C H","family":"Pygott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Barnes J (1997). High Integrity Ada: The SPARK Approach, Addison-Wesley, 1997. ISBN 0-201-17517-7."},{"key":"15_CR2","unstructured":"C++ (2003). ISO\/IEC 14882:2003(E), Programming Languages \u2014 C++ Language Standard, ISO, 1998."},{"key":"15_CR3","unstructured":"Carr\u00e9 B, O\u2019Halloran C, and Sennett C T (1993). Final Report on Work to Define a Formal Semantics for SPARK, DRA customer report, 1993."},{"key":"15_CR4","unstructured":"Garnsworthy J, O\u2019Neill I, and Carr\u00e9 B (1993). Automatic Proof of the Absence of Run-Time Errors. In: Ada: Towards Maturity \u2014 Proceedings of the 1993 AdaUK conference, IOS Press, 1993. ISBN 9051991428."},{"key":"15_CR5","unstructured":"Hatton L (1994). Safer C, McGraw-Hill, 1994. ISBN 0-07-707640-0."},{"key":"15_CR6","unstructured":"HICPP (2004). High-Integrity C++ Coding Standard Manual v2.2, The Programming Research Group, May 2004. Available from: http:\/\/www.codingstandard.com\/HICPP_MANUAL_REQUEST.htm"},{"key":"15_CR7","unstructured":"JSF (2005). Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program, Document Number 2RDU00001 Rev C, December 2005. Available from: http:\/\/www.jsf.mil\/downloads\/downdocumentation.htm"},{"key":"15_CR8","unstructured":"Koenig A (1989). C Traps and Pitfalls, Addison-Wesley, 1989. ISBN 0-201-17928-8"},{"key":"15_CR9","unstructured":"March M, Smith A, and Whiting E (2003). Concrete and Abstract Syntaxes for Restricted C, QinetiQ internal report, Version 2, July 2003."},{"key":"15_CR10","unstructured":"MISRA (2004). MISRA C: Guidelines for the Use of the C Language in Critical Systems, Motor Industry Research Association, 2004. ISBN 0-9524156-2-3."},{"key":"15_CR11","unstructured":"NATO (2005). EJ200, Digital Electronic Control and Monitoring Unit (DECMU) Software Programmer\u2019s Manual for C, EJ 494\/12000 Issue 1E, NATO UNCLASSIFIED, Date of Issue: 08-AUG-05."},{"key":"15_CR12","unstructured":"Norrish M (1998). C Formalised in HOL, PhD thesis, Cambridge University, 1998."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Reynolds J C (2002). Separation Logic: a Logic for Shared Mutable Data Structures. Invited Paper, Proceedings of the 17th IEEE Symposium on Logic in Computer Science, 2002; 55\u201374.","DOI":"10.1109\/LICS.2002.1029817"},{"key":"15_CR14","unstructured":"Schofield A, and Pygott C (2006). A Tabulation of the Unpredictable Features of the C++ Language, QinetiQ Report QINETIQ\/S&DU\/TIM\/CR060019, September 2006."}],"container-title":["The Safety of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-806-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T22:05:01Z","timestamp":1619906701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-806-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846288050","9781846288067"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-806-7_15","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}