Proofs of randomized algorithms in Coq (Q923886)

From MaRDI portal
Revision as of 18:27, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Proofs of randomized algorithms in Coq
scientific article

    Statements

    title
    Proofs of randomized algorithms in Coq (English)
    0 references
    publication date
    24 July 2009
    0 references
    Mathematics Subject Classification ID
    68W20
    0 references
    68N30
    0 references
    68T15
    0 references
    zbMATH DE Number
    5586771
    0 references
    zbMATH Keywords
    randomized algorithms
    0 references
    proof of partial and total correctness
    0 references
    functional language
    0 references
    axiomatic semantics
    0 references
    probability framing
    0 references
    call-by-value
    0 references
    monadic interpretation
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q923886&oldid=12891429"
    Powered by MediaWiki