PLDB
Languages Features Calendar About Lists Add Language
GitHub icon

SPARK

SPARK

SPARK is a 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...

#363on PLDB 34Years Old 2.0kUsers

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;

Article source

PLDB - Build the next great programming language. v5.0.0 - Acknowledgements · Email · GitHub