Spark - Programming language

Spark is a programming language created in 1988.

#1876on PLDB

36Years Old

Tags: programming language
Early development of Spark happened in Altran Technologies and Ada Core Technologies
Ada influenced the design of Spark
Explore Spark snippets on Rosetta Code
Spark on HOPL
Spark appears in the TIOBE Index

Example from the web:

procedure Increment (X : in out Counter_Type)
  with Global  => null,
       Depends => (X => X),
       Pre     => X < Counter_Type'Last,
       Post    => X = X'Old + 1;