5 search results for "author:"Arthur Charguéraud""

Showing 1 - 5
  1. coq-cfml

    No documentation

    The CFML program verification system
    date: logpath:CFML category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 0 other packages
    12 Jan 2022
  2. coq-cfml-basis

    No documentation

    The CFML Basis library
    date: logpath:CFML category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 2 other packages
    12 Jan 2022
  3. coq-cfml-stdlib

    No documentation

    The CFML standard library
    date: logpath:CFML.Stdlib category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:program verification keyword:separation logic keyword:weakest precondition
    Arthur Charguéraud
    20220112
    CC-BY-4.0
    Used by 1 other packages
    12 Jan 2022
  4. coq-jsast

    No documentation

    A minimal JavaScript syntax tree carved out of the JsCert project
    keyword:javascript keyword:compiler date:2020-07-29 logpath:JsAst
    Martin Bodin <> Arthur Charguéraud <> Daniele Filaretti <> Philippa Gardner <> Sergio Maffeis <> et al.
    3.0.0
    BSD-2-Clause
    Used by 1 other packages
    26 May 2022
  5. coq-tlc

    No documentation

    TLC: A Library for Classical Coq
    category:Computer Science/Data Types and Data Structures date:2024-02-09 keyword:classical logic logpath:TLC
    Arthur Charguéraud
    20240209
    MIT
    Used by 2 other packages
    13 Feb 2024