Euclid English (Q5406088)
imperative programming language for writing verifiable programs English
Language | Label | Description | Also known as |
---|---|---|---|
British English | No label defined |
No description defined |
Statements
programming paradigm English
Q275596 (Deleted Item)
0 references
Q223335 (Deleted Item)
0 references
Q193076 (Deleted Item)
0 references
/m/03fbrg
0 references
Q991202 (Deleted Item)