语境逻辑程序细化中的模块计算
计算机科学中的逻辑
2007-05-23 v1
摘要
逻辑程序细化 calculus 是从规范派生逻辑程序的框架。它基于一种能够表达规范和代码的通用语言，以及一种模型正确实现的细化关系。在本文中，我们扩展并概括了早期关于语境细化的工作。语境细化通过抽象捕获子程序组件的上下文来简化细化过程，该上下文通常包括关于自由变量值的信息。本文还扩展并概括了模块细化。模块是一组 operate on common data type 的程序的集合；模块细化允许将规范模块 A 中的调用其程序替换为调用 C 中相应程序的调用。基于模块细化的条件，我们提出了一种从规范模块计算实现模块的方法。模块细化和语境细化在细化 calculus 中均已从早期工作中推广，结果在统一的框架中呈现。
引用
@article{arxiv.cs/0608110,
title = {Calculating modules in contextual logic program refinement},
author = {Robert Colvin and Ian J. Hayes and Paul Strooper},
journal= {arXiv preprint arXiv:cs/0608110},
year = {2007}
}