LTWlanguages & frameworks ltw://languages

Sponsor

Language

SPARK

Programming language

1988Appeared

static typing, nominative typing, safe typing, strong typingType system

Facts

Appeared: 1988
Type system: static typing, nominative typing, safe typing, strong typing
Kind: procedural programming language, implementation of a programming language, free and open-source software
Paradigms: procedural programming
Developer: Altran, University of Southampton
Implemented in: Ada
Licence: GNU General Public License, version 3.0

Sources: Wikidata (CC0) · Wikidata Q3493345