8 search results for "author:"Jean-Christophe Filliâtre""

Showing 1 - 8
  1. coq-automata

    No documentation

    Beginning of formal language theory
    keyword: formal language theory keyword: finite automata keyword: push-down automata keyword: rational langages keyword: Kleene category: Computer Science/Formal Languages Theory and Automata date: June-July 1993
    Judicaël Courant Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-fsets

    No documentation

    Finite Sets overs Ordered Types
    keyword: finite sets keyword: sorted lists keyword: balanced trees keyword: red-black trees keyword: AVL keyword: functors keyword: data structures category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures
    Pierre Letouzey Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-maths

    No documentation

    Basic mathematics
    keyword: mathematics category: Mathematics/Arithmetic and Number Theory/Number theory
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-mini-compiler

    No documentation

    Correctness of a tiny compiler for arithmetic expressions
    keyword: compilation keyword: correctness keyword: arithmetic category: Computer Science/Semantics and Compilation/Compilation date: 2003
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  5. coq-persistent-union-find

    No documentation

    Persistent Union Find
    keyword: program verification keyword: union-find keyword: data structures keyword: Tarjan category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Jean-Christophe Filliâtre
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  6. coq-square-matrices

    No documentation

    From Fast Exponentiation to Square Matrices
    keyword: exponentiation keyword: vectors keyword: matrices keyword: polymorphic recursion keyword: nested datatypes category: Mathematics/Algebra
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  7. coq-tortoise-hare-algorithm

    No documentation

    Tortoise and the hare algorithm
    keyword: program verification keyword: paths keyword: cycle detection keyword: graphs keyword: graph theory keyword: finite sets keyword: Floyd category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2007-02
    Jean-Christophe Filliâtre
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  8. coq-tree-diameter

    No documentation

    Diameter of a binary tree
    keyword: program verification keyword: trees keyword: paths keyword: graphs keyword: distance keyword: diameter category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019