SPARK

SPARK is a formally defined computer programming language based on the Ada programming language, intended for developing high-integrity software used in systems where predictable and highly reliable operation is essential. It facilitates developing applications that demand safety, security, or business integrity. It has especially found use in real-time computing and embedded systems where issues of safety-criticality or computer security are paramount. Wikipedia

Created Year: 1988
Developed by: University of Southampton • Altran
Implemented in: Ada
Aliases: Spark, SPADE Ada Kernel

Wikidata: Q3493345

Programming paradigms: procedural programming

Language types: procedural programming language • implementation of a programming language