A guided tour of the mathematics of MetaSoft '88 (Q1111360)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A guided tour of the mathematics of MetaSoft '88 |
scientific article |
Statements
A guided tour of the mathematics of MetaSoft '88 (English)
0 references
1988
0 references
MetaSoft
0 references
denotational semantics
0 references
algebraic semantics
0 references
software specification
0 references