On conservative extensions of syntax in system development (Q811131)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On conservative extensions of syntax in system development |
scientific article |
Statements
On conservative extensions of syntax in system development (English)
0 references
1991
0 references
denotational engineering
0 references
denotational model of a software system
0 references
algebra of syntax
0 references
formal notion of an ambiguity of a grammar
0 references
algebra of denotations
0 references