Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02282407n
Noun Named Entity
Categories: Algol programming language family, Procedural programming languages, University of Southampton, Ada programming language family, Science and technology in Hampshire
EN
SPARK  Ada/SPARK  Ada Spark  RavenSPARK  SPADE Ada Kernel
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
Definitions
Relations
Sources
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
A variant of the Ada programming language which focuses on high integrity software Wikipedia Disambiguation
Programming language Wikidata
IS A
programming language
free and open-source software
implementation of a programming language
COPYRIGHT LICENSE
GNU General Public License, version 3.0
DEVELOPER
Altran
University of Southampton
DIALECT OF COMPUTER LANGUAGE
Ada
PROGRAMMING LANGUAGE
Ada
PROGRAMMING PARADIGM
procedural programming
TYPING DISCIPLINE
Strong and weak typing
type safety
static typing
nominal type system
Wikipedia
EN
SPARK (programming language)
Wikidata
EN
SPARK
Wikipedia Redirections
EN
Ada/SPARK, Ada/Spark, Ada Spark, RavenSPARK, SPADE Ada Kernel, SPARK Examiner, SPARK language, SPARK programming language, SPARK Toolset
Wikidata Alias
EN
SPADE Ada Kernel, 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