SPARK (Computer program language)
Enlarge text Shrink text-
Topic
|
System number
987007411089005171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Hebrew)
שפת תכנות מחשבים SPARK
Name (Latin)
SPARK (Computer program language)
Name (Arabic)
لغة برمجة الكمبيوتر : SPARK
See Also From tracing topical name
Programming languages (Electronic computers)
MARC
MARC
Other Identifiers
Wikidata:
Q3493345
Library of congress:
sh2015001170
Sources of Information
- 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)
- 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)
- Inspec, viewed May 5, 2015(uncontrolled term: SPARK 2014 language)