杰拉德·贝里;乔治·戈蒂尔 Esterel同步编程语言：设计、语义、实现。 （英语） Zbl 0772.68013号 科学。计算。程序。 19，第2期，第87-152页（1992年）. 摘要：我们提出了ESTEREL编程语言，该语言专门用于对反应式系统进行编程，即与环境保持永久交互的系统：实时过程控制器、通信协议、人机界面驱动程序等。ESTEREL是一种确定性并发编程语言。它与经典异步语言的不同之处在于其同步性假设：系统的输出在概念上与其输入同步。同步性假设允许高级模块化编程风格比异步编程风格更简单、更严格。我们介绍了ESTEREL的命令基元及其允许的时间操作。我们给出了一个小的编程示例。我们提出了ESTEREL的两个数学语义，它们由条件重写规则给出，并由一个正确性定理关联。行为语义以一种无效的方式将程序的行为定义为不动点方程的解。为了有效地执行语义，计算概念上无限快的执行机器要执行的操作。将这两个语义联系起来，我们解决了同步形式中固有的因果关系问题。我们展示了ESTEREL v2和ESTERELv3编译器如何有效地将并发的ESTEREL程序转换为可用传统序列语言实现的有效等价序列自动机。我们讨论了目标代码的质量和同步假设的实际充分性。 引用于79文件 MSC公司： 68甲15 编程语言理论 关键词：埃斯特雷尔;实时过程控制器;通信协议;人机界面驱动程序;确定性并发编程语言;条件重写规则 软件：卢斯特;埃斯特雷尔 PDF格式BibTeX公司 XML格式引用 \textit{G.Berry}和\textit{G.Gonthier}，科学。计算。程序。19，第2号，87--152（1992；Zbl 0772.68013） 全文： 内政部