Hoare type theory, polymorphism and separation (Q3546051)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hoare type theory, polymorphism and separation
scientific article

    Statements

    Hoare type theory, polymorphism and separation (English)
    0 references
    0 references
    0 references
    0 references
    18 December 2008
    0 references
    Hoare-style specifications
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers