SPARK is an actively used programming language created in 1988. 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. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively. Read more on Wikipedia...
- SPARK ranks in the top 5% of languages
- the SPARK wikipedia page
- SPARK first appeared in 1988
- See also: scala, java, python, linux, ada, eiffel, z-notation
- Have a question about SPARK not answered here? Email me and let me know how I can help.
Example code from Wikipedia:
procedure Increment (X : in out Counter_Type) with Global => null, Depends => (X => X), Pre => X < Counter_Type'Last, Post => X = X'Old + 1;
Last updated January 18th, 2020