Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02282407n
Noun Named Entity
NL
SPARK
EN
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. Wikipedia
English:
programming language
Relations
Sources
IS A
programmeertaal
vrije software en opensourcesoftware
programmeertaal-implementatie
COPYRIGHT LICENSE
GPLv3
DEVELOPER
Altran
Universiteit van Southampton
DIALECT OF COMPUTER LANGUAGE
Ada
PROGRAMMING LANGUAGE
Ada
PROGRAMMING PARADIGM
procedural programming
TYPING DISCIPLINE
sterk getypeerde
type veiligheid
statisch typesysteem
nominatief typesysteem
Wikidata
NL
SPARK

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License