3 search results for "author:"Steve Zdancewic""

Showing 1 - 3
  1. coq-itree

    No documentation

    Library for representing recursive and impure programs with equational reasoning
    org:deepspec logpath: ITree date:2024-04-02
    Li-yao Xia Yannick Zakowski Paul He Chung-Kil Hur Gregory Malecha et al.
    5.2.0
    MIT
    Used by 3 other packages
    04 Apr 2024
  2. coq-itree-extra

    No documentation

    Extensions to coq-itree
    org:deepspec logpath: ITree.Extra date:2024-04-02
    Lucas Silver Irene Yoon Paul He Yannick Zakowski Steve Zdancewic
    5.2.0
    MIT
    Used by 0 other packages
    04 Apr 2024
  3. coq-vellvm

    No documentation

    Coq library implementing (executable) semantics for LLVM IR
    date:2024-06-27 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>
    v1.0.20240627
    GPL-3.0-or-later
    Used by 0 other packages
    28 Jun 2024