SPARK
0 sources
SPARK
Summary
SPARK is a programming language[1]. SPARK ranks in the top 6% of programming_language entities by monthly Wikipedia readership (169 views/month).[2]
Key Facts
- SPARK's instance of is recorded as programming language[3].
- SPARK's instance of is recorded as procedural programming language[4].
- SPARK's instance of is recorded as implementation of a programming language[5].
- SPARK's instance of is recorded as free and open-source software[6].
- SPARK's developer is recorded as Altran[7].
- SPARK's developer is recorded as University of Southampton[8].
- SPARK's Library of Congress authority ID is recorded as sh2015001170[9].
- SPARK's copyright license is recorded as GNU General Public License, version 3.0[10].
- SPARK's programmed in is recorded as Q154755[11].
- +1988-01-01T00:00:00Z marks the founding of SPARK[12].
- SPARK's Freebase ID is recorded as /m/01qplz[13].
- SPARK's official website is recorded as https://www.adacore.com/sparkpro/[14].
- SPARK's source code repository URL is recorded as https://github.com/AdaCore/spark2014[15].
- SPARK's Stack Exchange tag is recorded as https://stackoverflow.com/tags/spark-ada[16].
- SPARK's different from is recorded as Q11244114[17].
- SPARK's programming paradigm is recorded as procedural programming[18].
- SPARK's copyright status is recorded as copyrighted[19].
- SPARK's Repology project name is recorded as spark-adacore[20].
- SPARK's typing discipline is recorded as nominative typing[21].
- SPARK's typing discipline is recorded as static typing[22].
- SPARK's typing discipline is recorded as strong typing[23].
- SPARK's typing discipline is recorded as safe typing[24].
- SPARK's dialect of computer language is recorded as Q154755[25].
- SPARK's National Library of Israel J9U ID is recorded as 987007411089005171[26].
- SPARK's OpenAlex ID is recorded as C2781215313[27].
Body
Designation and Status
Recorded instance of include programming language[3], procedural programming language[4], implementation of a programming language[5], and free and open-source software[6].
History and Context
+1988-01-01T00:00:00Z marks the founding of SPARK[12].
Why It Matters
SPARK ranks in the top 6% of programming_language entities by monthly Wikipedia readership (169 views/month).[2] SPARK has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[28] SPARK is known by 6 alternative names across languages and contexts.[29]