SPARK is an actively used programming language created in 1988.

31Years Old 4,430Users 2Jobs

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