SPARK (programming language) (English Wikipedia)

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

refsWebsite

Global rank English rank

low place

low place

1web.archive.org

1^st place

1^st place

low place

low place

1slideshare.net

2,161^st place

2,535^th place

383^rd place

320^th place

adacore.com

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.

github.com

"SPARKNaCl". GitHub. 8 October 2021.

sdtimes.com

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

slideshare.net

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

web.archive.org

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