No label defined (Q3745248)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1986
0 references
verification
0 references
institutions
0 references
logical system
0 references
generic modules
0 references
module hierarchies
0 references
data constraints
0 references
multiplex institutions
0 references
theorem provers
0 references
logical programming language
0 references
operational semantics
0 references
data abstraction
0 references
programming-in-the-large
0 references
