文件名称：systematic-abstraction:来自论文“抽象机器的系统抽象”的代码
文件大小：15KB
文件格式：ZIP
更新时间：2024-07-12 23:19:36
Haskell
系统抽象 来自论文“抽象机器的系统抽象”的代码。 抽象机器的系统抽象，David Van Horn 和 Matthew Might。 函数式编程杂志，22(4-5)，2012 年 9 月。
【文件预览】：
systematic-abstraction-master
----Syntax.hs(181B)
----ceskst.hs(2KB)
----cesks.hs(1KB)
----reduction.hs(1KB)
----ceskpt.hs(1KB)
----ceskptl.hs(2KB)
----0aceskp.hs(2KB)
----cesk.hs(1KB)
----cek-map.hs(926B)
----aceskpt.hs(3KB)
----ceskp.hs(1KB)
----aceskptl.hs(3KB)
----cesksl.hs(2KB)
----Reachability.hs(344B)
----cek.hs(1KB)
----.gitignore(110B)
----ceskpt2.hs(2KB)
----Makefile(1KB)
----README.md(389B)
----acesksl.hs(3KB)
----MapUpdate.hs(201B)