Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Correct Code Containing Containers - MaRDI portal

Correct Code Containing Containers (Q3012966)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Correct Code Containing Containers
scientific article

    Statements

    title
    Correct Code Containing Containers (English)
    0 references
    author
    Claire Dross
    0 references
    Yannick Moy
    0 references
    publication date
    7 July 2011
    0 references
    zbMATH Keywords
    containers
    0 references
    iterators
    0 references
    verification by contracts
    0 references
    annotations
    0 references
    axiomatization
    0 references
    API usage verification
    0 references
    SMT
    0 references
    automatic provers
    0 references
    describes a project that uses
    KRAKATOA
    0 references
    Caduceus
    0 references
    z3
    0 references
    Alt-Ergo
    0 references
    Jahob
    0 references
    Coq
    0 references
    Why3
    0 references
    SIMPLIFY
    0 references
    STLlint
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    68P05
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5918191
    0 references
    OpenAlex ID
    W34185828
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3012966&oldid=35236464"
    Powered by MediaWiki