SPARK (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "SPARK (programming language)" in English language version.

Last modified: 07:56:29, 10 October 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

193doi.org

2^nd place

41ieee.org

912^th place

722^nd place

41worldcat.org

4^th place

41semanticscholar.org

15^th place

8^th place

22adacore.com

low place

21sdtimes.com

low place

11web.archive.org

1^st place

11pchapin.org

low place

11slideshare.net

2,941^st place

3,213^th place

11defcon.org

low place

11github.com

380^th place

337^th place

adacore.com (Global: low place; English: low place)

adacore.com

"Ada2012 Rationale" (PDF). adacore.com. Archived (PDF) from the original on 18 April 2016. Retrieved 5 May 2018.

docs.adacore.com

"SPARK – The SPADE Ada Kernel (including RavenSPARK)". AdaCore. Retrieved 30 June 2021.

defcon.org (Global: low place; English: low place)

media.defcon.org

Zabrocki, Adam; Mitic, Marko (8 August 2025). "How to Secure Unique EcosystemShipping 1 Billion+ Cores?" (PDF). Retrieved 13 August 2025.{{cite web}}: CS1 maint: url-status (link)

doi.org (Global: 2^nd place; English: 2^nd place)

Chapman, Roderick; Dross, Claire; Matthews, Stuart; Moy, Yannick (March 2024). "Co-Developing Programs and Their Proof of Correctness". Communications of the ACM. 67 (3): 84–94. doi:10.1145/3624728.
Ross, Philip E. (September 2005). "The Exterminators". IEEE Spectrum. 42 (9): 36–41. doi:10.1109/MSPEC.2005.1502527. ISSN 0018-9235. S2CID 26369398.
Chapman, Roderick (December 2000). "Industrial experience with SPARK". ACM SIGAda Ada Letters. XX (4): 64–68. doi:10.1145/369264.369270.

github.com (Global: 380^th place; English: 337^th place)

"SPARKNaCl". GitHub. 8 October 2021.

ieee.org (Global: 912^th place; English: 722^nd place)

spectrum.ieee.org

Ross, Philip E. (September 2005). "The Exterminators". IEEE Spectrum. 42 (9): 36–41. doi:10.1109/MSPEC.2005.1502527. ISSN 0018-9235. S2CID 26369398.

pchapin.org (Global: low place; English: low place)

Brandon, Carl S. (2013). "High Reliability CubeSat Software with SPARK/Ada" (PDF). iCubeSat.org. Retrieved 20 December 2025.

sdtimes.com (Global: low place; English: low place)

Handy, Alex (24 August 2010). "Ada-derived Skein crypto shows SPARK". SD Times. BZ Media LLC. Retrieved 31 August 2010.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Ross, Philip E. (September 2005). "The Exterminators". IEEE Spectrum. 42 (9): 36–41. doi:10.1109/MSPEC.2005.1502527. ISSN 0018-9235. S2CID 26369398.

slideshare.net (Global: 2,941^st place; English: 3,213^th place)

"Securing the Future of Safety and Security of Embedded Software". 8 January 2020.

web.archive.org (Global: 1^st place; English: 1^st place)

"Ada2012 Rationale" (PDF). adacore.com. Archived (PDF) from the original on 18 April 2016. Retrieved 5 May 2018.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Ross, Philip E. (September 2005). "The Exterminators". IEEE Spectrum. 42 (9): 36–41. doi:10.1109/MSPEC.2005.1502527. ISSN 0018-9235. S2CID 26369398.

SPARK (programming language) (English Wikipedia)

adacore.com (Global: low place; English: low place)

adacore.com

docs.adacore.com

defcon.org (Global: low place; English: low place)

media.defcon.org

doi.org (Global: 2nd place; English: 2nd place)

github.com (Global: 380th place; English: 337th place)

ieee.org (Global: 912th place; English: 722nd place)

spectrum.ieee.org

pchapin.org (Global: low place; English: low place)

sdtimes.com (Global: low place; English: low place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

slideshare.net (Global: 2,941st place; English: 3,213th place)

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

doi.org (Global: 2^nd place; English: 2^nd place)

github.com (Global: 380^th place; English: 337^th place)

ieee.org (Global: 912^th place; English: 722^nd place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

slideshare.net (Global: 2,941^st place; English: 3,213^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)