3 search results for "tag:"keyword:semantics""

Showing 1 - 3
  1. coq-mi-cho-coq

    No documentation

    A specification of Michelson in Coq to prove properties about smart contracts in Tezos
    category:Computer Science/Programming Languages/Formal Definitions and Theory date:2021-06-15 keyword:cryptocurrency keyword:michelson keyword:semantics keyword:smart-contract keyword:tezos logpath:Michocoq logpath:Michocott
    Raphaël Cauderlier Bruno Bernardo Julien Tesson Arvid Jakobsson
    1.0.0
    MIT
    Used by 0 other packages
    21 Jun 2021
  2. coq-vellvm

    No documentation

    Coq library implementing (executable) semantics for LLVM IR
    date:2025-01-10 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:semantics keyword:interpreter keyword:LLVM logpath:Vellvm
    Steve Zdancewic <stevez@cis.upenn.edu> Yannick Zakowski <yannick.zakowski@inria.fr> Calvin Beck <hobbes@seas.upenn.edu> Irene Yoon <euisuny@cis.upenn.edu> Gary (Hanxi) Chen <hanxic@seas.upenn.edu>
    v2.0.20250110
    GPL-3.0-or-later
    Used by 0 other packages
    11 Jan 2025
  3. rocq-vellvm

    No documentation

    Rocq library implementing (executable) semantics for LLVM IR
    date:2025-07-10 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:semantics keyword:interpreter keyword:LLVM logpath:Vellvm
    Steve Zdancewic <stevez@cis.upenn.edu> Yannick Zakowski <yannick.zakowski@inria.fr> Calvin Beck <hobbes@seas.upenn.edu> Irene Yoon <euisuny@cis.upenn.edu> Gary (Hanxi) Chen <hanxic@seas.upenn.edu>
    v2.2.20250710
    GPL-3.0-or-later
    Used by 0 other packages
    18 Jul 2025