Skip to content
Аббас Гусенов edited this page Aug 23, 2024 · 2 revisions

Wikipedia

  • SPARK (programming language) 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.
Clone this wiki locally