×

不断变化的计算。 (英语) Zbl 0891.68039号

概要:计算机科学和知识表示的一个主要挑战是集成连续和离散变化的概念框架,例如微分方程理论和实际分析,以及编程语言理论。
我们通过提出构建连续编程语言的方法,朝着这样一个集成理论迈出了第一步。连续编程语言是一种可以用微分方程描述状态动力学的语言。基本思想是从一种未命名的语言开始,并在稠密(实时)时间上统一扩展它。
我们提出了一个具体的数学模型和语言(Hybrid并发约束编程模型,Hybrid-cc)来实例化这些思想。该语言旨在用于混合系统的建模和编程。语言是声明性的——程序可以理解为对系统(时间)演化施加约束的公式,并行组合被视为连接。它很有表现力——它允许定义抢占控制结构的连续版本。
该语言是通过将(默认)并发约束编程(default-cc)的通用计算形式主义扩展为一个单一的时态结构而获得的,因此被称为——因此,(a)被解读为断言(a)在当前时刻之后持续存在。通过使用Default cc中的其他组合符,可以从这个单一结构生成各种时间活动模式。我们提供了一个精确的操作语义,根据该语义,执行在(i)可能发生不连续变化的点和(ii)之间交替系统状态持续变化的开放时间间隔。当某些条件开始或停止保持时,会触发从持续进化状态的转换。通过充分性定理,我们证明了指称语义对于操作语义的推理是正确的。

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
68立方英尺 知识表示
68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部