Spark - Programming language

Spark is a programming language created in 1988.

#1824on PLDB

36Years Old

Spark Wikipedia page
Spark first developed in Altran Technologies, SA and Ada Core Technologies
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;