SemanticsRealWorldDebugging
所属分类：论文
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2015-05-30 12:40:05
上 传 者：
sh-1993
说明： PLDI论文“真实世界Haskell程序的算法调试：从成本中心导出依赖项......”中的可执行语义...，
(Executable semantics from the PLDI paper "Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack")
文件列表:
Semantics.cabal (793, 2015-05-30)
src/ (0, 2015-05-30)
src/Equivalence.hs (13819, 2015-05-30)
src/FreeVar.hs (1401, 2015-05-30)
src/IntendedSemantics.hs (17245, 2015-05-30)
src/Test.hs (6920, 2015-05-30)
src/TraceSemantics.hs (16812, 2015-05-30)
# Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
This are the executable semantics as described in the paper "Algorithmic
Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost
Centre Stack", Maarten Faddegon and Olaf Chitil to appear at PLDI 2015.
In the paper we define an executable semantics (Figure 17) and a QuickCheck
property (Section 6.6). The code in this repository supports the claim that
this property holds for over 100000 randomly generated expressions of up to
1000 subexpressions each.
近期下载者：
相关文件：
收藏者：