JHU-PL-Lab/dde

Pure Demand Operational Semantics

语言：OCaml · GitHub 星标：5 · Fork：0

话题：abstract-interpretation · coq · interpreter · ocaml · operational-semantics · program-analysis

在 GitHub 上查看原仓库