Termination Proofs for Recursive Functions in FoCaLiZe (Q2814388)

From MaRDI portal
Revision as of 07:22, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Termination Proofs for Recursive Functions in FoCaLiZe
scientific article

    Statements

    title
    Termination Proofs for Recursive Functions in FoCaLiZe (English)
    0 references
    author
    Catherine Dubois
    0 references
    François Pessaux
    0 references
    publication date
    21 June 2016
    0 references
    zbMATH Keywords
    formal proof
    0 references
    functional programming
    0 references
    FoCaLiZe
    0 references
    Coq
    0 references
    recursion
    0 references
    termination
    0 references
    describes a project that uses
    Coq
    0 references
    Isabelle/HOL
    0 references
    Zenon
    0 references

    Identifiers

    zbMATH DE Number
    6596129
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2814388&oldid=23119437"
    Powered by MediaWiki