Curry程序的通用分析环境
编程语言
2007-05-23 v1
摘要
我们提出了CurryBrowser，一个用于声明式多范式语言Curry的通用分析环境。CurryBrowser支持浏览用Curry编写的应用程序的程序代码，即主模块和所有直接或间接导入的模块。每个模块可以以不同的格式显示（例如，源代码、接口、中间代码），并且在每个模块内部，可以分析该模块中定义的函数的各种属性。为了支持各种程序分析的集成，CurryBrowser提供了一个通用接口，以连接用Curry实现的局部和全局分析。CurryBrowser完全用Curry实现，使用了用于GUI编程和元编程的库。
引用
@article{arxiv.cs/0701147,
title = {A Generic Analysis Environment for Curry Programs},
author = {Michael Hanus},
journal= {arXiv preprint arXiv:cs/0701147},
year = {2007}
}
备注
Paper presented at the 16th Workshop on Logic-based Methods in Programming Environments