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
Fifty years of Hoare's logic - MaRDI portal

Fifty years of Hoare's logic (Q2280214)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fifty years of Hoare's logic
scientific article

    Statements

    title
    Fifty years of Hoare's logic (English)
    0 references
    author
    Krzysztof R. Apt
    0 references
    Ernst-Ruediger Olderog
    0 references
    publication date
    18 December 2019
    0 references
    describes a project that uses
    Boogie
    0 references
    Coq
    0 references
    Dafny
    0 references
    ALGOL 68
    0 references
    PVS
    0 references
    z3
    0 references
    CESAR
    0 references
    KIV
    0 references
    Quicksort
    0 references
    Eiffel
    0 references
    ALGOL 60
    0 references
    Z
    0 references
    Find
    0 references
    cites work
    Q4124296
    0 references
    Q3997397
    0 references
    Q3999717
    0 references
    Q3898009
    0 references
    Q5291078
    0 references
    Q3791123
    0 references
    Q2746874
    0 references
    Q5417200
    0 references
    The logic of aliasing
    0 references
    Q3999156
    0 references
    Q3899466
    0 references
    Q5684216
    0 references
    Q3994464
    0 references
    Q4144755
    0 references
    Q3962450
    0 references
    Q2768503
    0 references
    Q4692630
    0 references
    Q5584402
    0 references
    Loop invariants
    0 references
    Q3738540
    0 references
    Q4003356
    0 references
    Q3925859
    0 references
    Q3731019
    0 references
    Q4525781
    0 references
    Q5626277
    0 references
    Proof of a program
    0 references
    Q4772697
    0 references
    Reduction
    0 references
    Q3851570
    0 references
    Q3883459
    0 references
    Q3922147
    0 references
    Q3995530
    0 references
    Q4124327
    0 references
    Q4371400
    0 references
    Q3992568
    0 references
    Q4301161
    0 references
    Q4002642
    0 references
    Q3792662
    0 references
    Q4823141
    0 references
    Q4411818
    0 references
    Q4783297
    0 references
    Q4140351
    0 references
    Q4151147
    0 references
    Q3940830
    0 references
    Q5596237
    0 references
    Q4134897
    0 references
    Q3995087
    0 references
    Q4039815
    0 references
    Q4501670
    0 references
    Q4808824
    0 references
    Q3141916
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68-03
    0 references
    03B70
    0 references
    68N30
    0 references
    68Q55
    0 references
    zbMATH DE Number
    7144309
    0 references
    OpenAlex ID
    W2991353706
    0 references
    arXiv ID
    1904.03917
    0 references
    Wikidata QID
    Q130841271
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2280214&oldid=37880201"
    Powered by MediaWiki