1 search result for "author:"Irene Yoon <euisuny@cis.upenn.edu>""

Showing 1 - 1

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