No label defined (Q4004235)

From MaRDI portal
Revision as of 16:59, 23 October 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    18 September 1992
    0 references
    abstract data types
    0 references
    program development
    0 references
    program verifiability
    0 references
    reasoning
    0 references
    formal verification
    0 references
    program documentation
    0 references
    Hoare logic
    0 references
    abstraction
    0 references
    type simulation
    0 references
    object-orientation
    0 references
    pointer aliasing
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references