SPARK

SPARK is a multi-paradigm and structured programming language that first appeared in 2009.

Paradigms
Imperative, Object-oriented, Concurrent and distributed, Array and stack, Metaprogramming and generic
First appeared
2009
Reference
Wikipedia article