On conservative extensions of syntax in system development (Q811131)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On conservative extensions of syntax in system development |
scientific article; zbMATH DE number 4215378
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On conservative extensions of syntax in system development |
scientific article; zbMATH DE number 4215378 |
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
