Neuere Konzepte und Entwuerfe für Programmiersprachen (Q1166266)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Neuere Konzepte und Entwuerfe für Programmiersprachen |
scientific article |
Statements
Neuere Konzepte und Entwuerfe für Programmiersprachen (English)
0 references
1978
0 references
programming languages
0 references
structured programming
0 references
strong typing
0 references
abstract data types
0 references
parallel processes
0 references
program verification
0 references
PASCAL
0 references
LIS
0 references
EUCLID
0 references
CLU
0 references
ALPHARD
0 references
concurrent PASCAL
0 references
MODULA
0 references
DoD1
0 references
verification
0 references
readability
0 references
modularization
0 references
