遍历结构化数据中的编程错误
摘要：具有“Stratego”策略的遍历策略提供了一种异常灵活和统一的方式，用于查询和转换深度嵌套和异构结构的数据，包括函数式编程和重写中的项，面向对象编程中的对象以及XML编程中的XML文档。然而，由此产生的遍历程序容易出现编程错误。我们特别关注超越保守类型错误的错误，我们考察的例子包括发散的遍历，过早终止的遍历以及具有死代码的遍历。基于可能的编程错误清单，我们探索了静态类型和静态分析的选项，以避免某些错误类别。这种探索为策略库及其基础编程语言的改进提供了建议。Haskell被用于示例和规范，并提供足够的解释，使非专业人士能够理解演示。总体思想是与语言无关的，因此总结如下。
作者：Ralf Laemmel, Simon Thompson, and Markus Kaiser
论文ID：1201.6057
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-31