{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:10Z","timestamp":1772164030218,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,11,6]]},"DOI":"10.1145\/2070337.2070356","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:55:03Z","timestamp":1321887303000},"page":"39-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Software vulnerabilities precluded by spark"],"prefix":"10.1145","author":[{"given":"Joyce L.","family":"Tokar PhD","sequence":"first","affiliation":[{"name":"Pyrrhus Software, Phoenix, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. David","family":"Jones","sequence":"additional","affiliation":[{"name":"Pyrrhus Software, Phoenix, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul E.","family":"Black PhD","sequence":"additional","affiliation":[{"name":"National Institute of Standards, Gaithersburg, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris E.","family":"Dupilka","sequence":"additional","affiliation":[{"name":"National Security Agency, Fort Meade, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"May","year":"2007","unstructured":"NIST Special Publication 500--268 , Source Code Security Analysis Tool Functional Specification Version 1.0 , May 2007 . NIST Special Publication 500--268, Source Code Security Analysis Tool Functional Specification Version 1.0, May 2007."},{"key":"e_1_3_2_1_2_1","unstructured":"Common Weakness Enumeration (CWE) http:\/\/cwe.mitre.org\/.  Common Weakness Enumeration (CWE) http:\/\/cwe.mitre.org\/."},{"key":"e_1_3_2_1_3_1","unstructured":"SPARK GPL Edition http:\/\/libre.adacore.com\/libre\/tools\/spark-gpl-edition\/.  SPARK GPL Edition http:\/\/libre.adacore.com\/libre\/tools\/spark-gpl-edition\/."},{"key":"e_1_3_2_1_4_1","volume-title":"High Integrity Software: The SPARK Approach to Safety and Security","author":"Barnes John","year":"2006","unstructured":"Barnes , John , High Integrity Software: The SPARK Approach to Safety and Security , Addison Wesley , 2006 . Barnes, John, High Integrity Software: The SPARK Approach to Safety and Security, Addison Wesley, 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"Guide for the use of the Ada Ravenscar Profile in high integrity systems","year":"2004","unstructured":"ISO\/IEC TR 24718:2004 ( 2004 ) Guide for the use of the Ada Ravenscar Profile in high integrity systems . ISO\/IEC TR 24718:2004 (2004) Guide for the use of the Ada Ravenscar Profile in high integrity systems."},{"key":"e_1_3_2_1_6_1","first-page":"1995","volume":"1","year":"2000","unstructured":"Ada Reference Manual with Technical Corrugendum 1 and Ammendment 1 , ISO-8652: 1995 (E) with COR 1: 2000 and Amd 1:2007. Ada Reference Manual with Technical Corrugendum 1 and Ammendment 1, ISO-8652:1995(E) with COR 1: 2000 and Amd 1:2007.","journal-title":"Ammendment"}],"event":{"name":"SIGAda '11: ACM SIGAda Annual International Conference","location":"Denver Colorado USA","acronym":"SIGAda '11","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070356","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2070337.2070356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":6,"alternative-id":["10.1145\/2070337.2070356","10.1145\/2070337"],"URL":"https:\/\/doi.org\/10.1145\/2070337.2070356","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2070336.2070356","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,11,6]]},"assertion":[{"value":"2011-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}