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
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers