$
CODIGO
log in
SPARK
♥
0 favorites
Edit on GitHub
Paradigms
imperative
Typing
static system, non-structural typing, strong typing
External Links
SPARK official site
SPARK jobs at Devjobsscanner
Trending GitHub repositories
Type
programming
Created
1988
Developed by
University of Southampton
Altran
PyPL Index
N/A
TIOBE Index
#51-100
GitHub rank
N/A
Code Example
A+B
Assertions
Binary-search
Dot-product
Function-definition
Luhn-test-of-credit-card-numbers
Sorting-algorithms-Bubble-sort
Stable-marriage-problem
↓
Loading...