On the Hoare theory of monadic recursion schemes (Q4635654)

From MaRDI portal
scientific article; zbMATH DE number 6863127
Language Label Description Also known as
English
On the Hoare theory of monadic recursion schemes
scientific article; zbMATH DE number 6863127

    Statements

    On the Hoare theory of monadic recursion schemes (English)
    0 references
    23 April 2018
    0 references
    Hoare logic
    0 references
    monadic program schemes
    0 references
    monadic recursion schemes
    0 references
    propositional Hoare logic
    0 references
    sound and complete Hoare calculus
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references