酯类 swMATH ID: 20012 软件作者： 杰拉德·贝瑞 描述： Esterel既是一种专用于对反应系统进行编程的编程语言，也是一种将Esterel程序转换为有限状态机的编译器。它是同步语言家族之一，如SyncCharts、Lustre、Argos或Signal，特别适合对反应式系统（包括实时系统和控制自动机）进行编程。Esterel v5编译器可用于生成反应式程序的软件或硬件实现。它可以生成C代码，作为反应内核嵌入到处理接口和数据操作的大型程序中。它还可以生成闸门网络列表形式的硬件，然后可以将其嵌入到更大的系统中。可以进行广泛的优化。我们为Esterel提供了一个图形符号调试器。我们还支持执行互模拟减少或安全属性检查的显式或基于BDD的验证工具。埃斯特雷尔现在被几家公司试用，并在几所大学任教。Polis小组选择它作为硬件/软件联合设计系统的输入语言之一。 主页： http://www-sop.inria.fr/meije/estel/esterel-eng.html 相关软件： 卢斯特;信号;Uppaal公司;Simulink公司;自旋蛋白;石英;ULM公司;状态流;哈斯克尔;Coq公司;CESAR公司;托勒密;糖块;多时性;Z轴;PVS公司;SCADE公司;里奥;Modelica公司;伊莎贝尔/HOL 引用于： 137文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Esterel同步编程语言：设计、语义、实现。 Zbl 0772.68013号Berry，热拉尔;乔治·戈蒂尔 1992 全部的 前5名251位作者引用 7 杰拉德·贝里 5 罗伯特·阿马迪奥（Roberto M.Amadio）。 5 阿尔伯特·本文尼斯特 5 马西莫·梅罗 5 卡洛斯·奥拉特 4 Boudol，热拉尔 4 贝诺·凯劳德 4 伊利亚州卡斯特拉尼 4 迈克尔·门德勒 4 Schneider，Klaus公司 4 Jean-Pierre塔宾 4 西蒙·蒂尼 三 保罗·勒格尔尼克 三 李爱德华·阿什福德 三 克里斯蒂安·普里萨卡里奥 2 华金·阿瓜多 2 蒂莫西·布鲁克 2 詹斯·勃兰特 2 威廉·鲍尔·德·罗弗 2 莫雷诺，法拉斯基 2 毛里齐奥·加布里埃利 2 蒂埃里·戈蒂埃 2 戈丁，迪娜·Q。 2 乔治·戈蒂尔 2 马克·霍乌 2 拉德哈·贾加迪桑 2 丹尼尔·克罗布 2 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 杰拉尔德·吕特根 2 安德烈亚·马吉奥洛·谢蒂尼 2 玛丽亚·希亚拉（Maria Chiara Meo） 2 卡图西亚帕拉米德斯 2 伊莱恩·皮门特尔 2 马克·普泽特 2 杰拉尔多·施奈德 2 斯科特·斯莫尔卡。 2 斯塔夫罗斯·特里帕基斯 2 弗兰克·巴伦西亚。 2 冯·汉克斯利登，莱因哈德 2 赵永新 2 朱慧彪 1 萨姆森·艾布拉姆斯基 1 马克·艾吉尔 1 苏亚德·阿拉吉奇 1 阿纳·阿尔梅达·马托斯 1 拉杰夫·阿鲁尔 1 内德·本·阿莫尔 1 劳伦特·阿迪蒂 1 阿伦库马尔，S。 1 佩杰曼·阿塔 1 保罗·C·阿蒂。 1 弗朗西斯科·巴拉丁 1 桑乔伊·K·巴鲁阿。 1 科尔斯汀·鲍尔 1 詹姆斯·巴克斯特 1 洛依茨贝斯纳德 1 斯蒂法诺·比斯塔雷利 1 杰雷米·布朗 1 博迪，恰拉 1 Jean-Paul Bodeveix公司 1 弗雷德里克·布西诺 1 劳拉·博泽利 1 克里斯蒂安·布鲁内特 1 Sérgio V.A.坎波斯。 1 文森扎·卡奇奥洛 1 卢卡·卡洛尼（Luca P.Carloni）。 1 乔塞普·卡莫纳 1 安娜·卡瓦尔坎蒂 1 塞隆，安德里亚 1 阿伦州Chandrashekharapuram 1 张嘉祥 1 陈燕文 1 陈一香 1 戴维·齐亚鲁吉 1 魏恩根·钦 1 Yunja Choi先生 1 科恩·克莱森 1 克拉克、戴夫 1 克拉克（Edmund Melson jun Clarke）。 1 罗伯特·J·科尔文。 1 下士，亨克 1 安德烈亚·科拉迪尼 1 洛朗·科塞拉特 1 库隆内，P。 1 艾蒂安·克雷伊 1 达尔·齐利奥（Dal Zilio，Silvano） 1 Nathalie Dangoumau 1 帕拉布·达斯古普塔 1 德波尔（Frank S。 1 伊丽莎白·德·玛丽亚 1 皮耶保罗·德加诺 1 罗曼·德曼根 1 Jean-Philippe Diguet 1 皮埃尔·迪索 1 弗雷德里克·多塞特 1 Gilles Dowek 1 段振华 1 瑞希德·埃哈希德 1 珍妮·皮尔·埃洛伊 1 里克·埃舒伊斯 …还有151位作者 全部的 前5名31篇连载文章中引用 27 理论计算机科学 14 信息与计算 6 系统设计中的形式化方法 6 逻辑与代数程序设计杂志 4 信息学学报 4 计算机与系统科学杂志 4 实时系统 三 计算机程序设计科学 2 信息处理信件 2 国际并行程序设计杂志 2 计算的形式方面 2 逻辑程序设计理论与实践 2 计算机科学前沿 1 应用数学与计算 1 计算 1 模拟中的数学和计算机 1 纯粹逻辑与应用逻辑年鉴 1 自动推理杂志 1 机器人系统杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 北欧计算机杂志 1 函数编程杂志 1 约束条件 1 组合优化期刊 1 信号、图像和视频技术VLSI信号处理系统杂志 1 高阶与符号计算 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 程序设计中的逻辑与代数方法杂志 全部的 前5名在12个字段中引用 129 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 5 系统论；控制（93至XX） 4 信息和通信理论，电路（94-XX） 2 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 1 粒子和系统力学（70-XX） 1 量子理论（81-XX） 按年份列出的引文