Programming with equalities, subsorts, overloading, and parametrization in OBJ (Q3992232)

From MaRDI portal
Revision as of 00:17, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Programming with equalities, subsorts, overloading, and parametrization in OBJ
scientific article

    Statements

    Programming with equalities, subsorts, overloading, and parametrization in OBJ (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 August 1992
    0 references
    OBJ programming language
    0 references
    order-sorted equational specifications
    0 references
    equational deduction
    0 references
    order-sorted equational logic
    0 references
    rewriting
    0 references

    Identifiers