.png){kind=icon}
返回
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-07106-4_15.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
定义性解释器是基于抽象解释的静态分析方法，其中语言语义通过单子递归解释器表达。这些解释器随后被实例化为一个抽象值域，并在适合的单子上下文中执行，该上下文携带抽象程序状态。不幸的是，正确实现这些定义性解释器仍然是一项艰巨的任务。此外，实例化分析需要配置许多组件。在这篇工具论文中，我们介绍了一个名为Monarch的框架设计，该框架为程序员提供了可重用组件，用于实现抽象定义性解释器。我们的设计包括以下组件：抽象域、表达程序语义的框架以及分析实例化技术。最后，我们给出了一个Haskell实现，并在Scheme和Python中给出了示例实例化，以展示这些组件的使用方式。
Keyword:
Abstract Definitional Interpreters
Abstract Intepretation
Static Analysis
期刊
S
IF:
0
论文数:
14
被引数:
0
.png){kind=icon}
查看更多内容