文件名称：SemanticsRealWorldDebugging:PLDI 论文“Algorithmic Debugging of Real-World Haskell Programs 中的可执行语义”
文件大小：18KB
文件格式：ZIP
更新时间：2024-06-22 16:20:05
Haskell
真实世界 Haskell 程序的算法调试：从成本中心堆栈导出依赖项 这是在 PLDI 2015 上发表的 Maarten Faddegon 和 Olaf Chitil 论文“真实世界 Haskell 程序的算法调试：从成本中心堆栈派生依赖关系”中描述的可执行语义。 在论文中，我们定义了一个可执行语义（图 17）和一个 QuickCheck 属性（第 6.6 节）。 此存储库中的代码支持以下说法：此属性适用于超过 100000 个随机生成的表达式，每个表达式最多 1000 个子表达式。
【文件预览】：
SemanticsRealWorldDebugging-master
----src()
--------TraceSemantics.hs(16KB)
--------IntendedSemantics.hs(17KB)
--------FreeVar.hs(1KB)
--------Equivalence.hs(13KB)
--------Test.hs(7KB)
----.gitignore(6B)
----Semantics.cabal(793B)
----README.md(584B)