SPARK (Computer program language)
URI(s)
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat: 2015014814: McCormick, J.W. High integrity programming with SPARK, 2015:CIP galley (SPARK is a programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications)
found: Wikipedia, May 5, 2015(SPARK (Programming language); formally defined computer programming language based on the Ada programming language; first version produced at the University of Southampton, with UK Ministry of Defence sponsorship, by Bernard Carré and Trevor Jennings)
found: Inspec, viewed May 5, 2015(uncontrolled term: SPARK 2014 language)
LC Classification
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
2015-05-05: new
2015-08-12: revised
Alternate Formats
