No label defined (Q3938526)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1980
0 references
semantic specifications
0 references
metatheory
0 references
programming language
0 references
semantic descriptions
0 references
Dijkstra's semantics
0 references
Scott's semantics
0 references
Hoare semantics
0 references
meaning of programs
0 references
fixed points of operators on complete lattices
0 references
