5 search results for "tag:"category: Computer Science/Semantics and Compilation/Semantics""

Showing 1 - 5
  1. coq-continuations

    No documentation

    A toolkit to reason with programs raising exceptions
    keyword: exceptions keyword: monads keyword: continuations keyword: cps category: Computer Science/Semantics and Compilation/Semantics category: Miscellaneous/Extracted Programs/Combinatorics
    Jean-François Monin
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-exceptions

    No documentation

    Pro[gramm,v]ing with continuations:A development in Coq
    keyword: exceptions keyword: continuations category: Computer Science/Semantics and Compilation/Semantics
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-ieee754

    No documentation

    A formalisation of the IEEE754 norm on floating-point arithmetic
    keyword: floating-point arithmetic keyword: IEEE category: Computer Science/Data Types and Data Structures category: Computer Science/Semantics and Compilation/Semantics date: 1997
    Patrick Loiseleur
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-kildall

    No documentation

    Application of the Generic kildall's Data Flow Analysis Algorithm to a Type and Shape Static Analyses of Bytecode
    keyword: Kildall keyword: data flow analysis keyword: bytecode verification category: Computer Science/Semantics and Compilation/Semantics date: 2005-07
    Solange Coupet-Grimal <Solange.Coupet@cmi.univ-mrs.fr> William Delobel <delobel@cmi.univ-mrs.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  5. coq-minic

    No documentation

    Semantics of a subset of the C language
    keyword: denotational semantics keyword: compilation category: Computer Science/Semantics and Compilation/Semantics
    Eduardo Giménez and Emmanuel Ledinot
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019