Spark

Version: 
2.3.0
Description: 

SPARK is a programming language for the development of high integrity software.