Cyclic proofs of program termination in separation logic (Q3189830)

From MaRDI portal
Revision as of 11:06, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Cyclic proofs of program termination in separation logic
scientific article

    Statements

    title
    Cyclic proofs of program termination in separation logic (English)
    0 references
    author
    James Brotherston
    0 references
    Richard Bornat
    0 references
    Cristiano Calcagno
    0 references
    publication date
    12 September 2014
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    68N30
    0 references
    68Q55
    0 references
    68R10
    0 references
    zbMATH DE Number
    6344219
    0 references
    zbMATH Keywords
    cyclic proof
    0 references
    Hoare logic
    0 references
    inductive definitions
    0 references
    program verification
    0 references
    separation logic
    0 references
    termination
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3189830&oldid=27565175"
    Powered by MediaWiki