×

微分逻辑程序:编程方法和语义。 (英语) Zbl 0859.68009号

小结:我们介绍了微分逻辑程序的概念,并定义了一个操作符,用于以层次方式组合它们。这个组合操作符的语义让人联想到面向对象范式中的继承语义。与该范例中的类类似,差异程序可以组织在模式中,其中每个组件继承或重新定义、修改它们,以及位于模式中较高位置的组件中定义的谓词。我们演示了这种形式的组合作为一种编程方法的使用,它增强了可重用性、代码共享和信息隐藏。
我们定义了微分程序合成的证明理论和模型理论,并证明了这两种理论是一致的。我们还定义了差分程序的组合和完全抽象语义,并强调了这种语义作为推理差分程序及其组合的计算属性的正式工具的重要性。本文的初步版本出现在Proc。ACM SIGPLAN-SIGACT编程语言原理研讨会,POPL’93,359-370(ACM,纽约,1993)。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部