SPARK is an actively used programming language created in 1988.
- SPARK ranks in the top 10% of languages
- the SPARK wikipedia page
- SPARK first appeared in 1988
- See also: scala, java, python, linux, ada, eiffel, z-notation
- I have 53 facts about SPARK. just email me if you need more.
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;Edit
Last updated February 11th, 2019