Simple-named complex-valued nominative data -- definition and basic operations (Q1688748)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simple-named complex-valued nominative data -- definition and basic operations
scientific article

    Statements

    Simple-named complex-valued nominative data -- definition and basic operations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 January 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    program semantics
    0 references
    software verification
    0 references
    nominative data
    0 references
    0 references