埃斯特雷尔语

ESTEREL语言

欢迎来到Esterel和同步反应式编程！

Esterel是一种编程语言，专门用于编写反应式程序系统，以及将Esterel程序转换为有限状态的编译器机器。它是同步语言家族之一，比如同步图表，Lustre公司，阿戈斯或信号，特别适合对反应式系统进行编程，包括实时系统和控制自动机。

Esterel v5编译器可用于生成软件或硬件实施反应式程序。它可以生成要嵌入的C代码作为处理接口和数据操作。它还可以以网络列表的形式生成硬件门，然后可以嵌入到更大的系统中。广泛的优化可用。我们为Esterel提供了一个图形符号调试器。我们还支持显式或基于BDD的验证工具执行互模拟减少或安全属性检查。

埃斯特雷尔现在被几家公司试用，并在几所大学。它是由波利斯组作为他们的软硬件协同设计系统的输入语言之一。

获取编译器和相关工具

Esterel编译器	相关工具
正在获取酯类v5_21	BASICOPT公司:Esterel代码优化器（1.1版）
发布笔记。	埃斯特雷尔程序验证工具
已知错误和修复。	埃斯特雷尔XEmac的模式
	安Esterel到TeX设置环境。
	同步图表（SyncCharts）：反应行为的视觉表现。
	一个Esterel程序的布尔数据路径生成器
	Java语言代码生成器
	程序你的Lego Mindstorms机器人使用Esterel或Lustre！！！

文件和相关文件

Pure的构造语义埃斯特雷尔[压缩PostScript] [PostScript（后置脚本）]
杰拉德·贝里。
本书草稿介绍了Esterel和是语义的引用。它还提供了Esterel编程到Esterel v5编译器中使用的电路中。当前版本：草案3，1999年7月2日。请丢弃以前的版本。

Esterel v5语言入门[PostScript（后置脚本）] [PDF格式]
杰拉德·贝里。
本文件介绍埃斯特雷尔以一种精确但非正式的方式这应该会让大多数用户对语言和系统的使用感到满意。然而，这不是一本完整的参考手册。（注：本文件也随Esterel系统提供。）

Esterel的基础[PostScript（后置脚本）] [PDF格式]
杰拉德·贝里。
出现在证明、语言和互动：荣誉论文罗宾·米尔纳，G.Plotkin、C.Stirling和M.Tofte，编辑，麻省理工学院按下, 1998.

使用Esterel和Formal方法提高对商业产品功能验证的信心数字信号处理器
[压缩的PostScript] [PostScript（后置脚本）] [PDF格式]
与法国Villeneuve-Loubet得克萨斯入侵组织联合工作。
ERCIM工业形式方法研讨会会议记录《关键系统》，意大利特伦托，1999年。

主要文件: 关于语言设计、Esterel和同步电路的论文。
编程示例: Esterel用户的基本示例和应用研究。
博士论文: 与Esterel直接相关的博士论文。

如何获取更多信息

你可以：

将您的请求发送到esterel-request@sophia.inria.fr。

或订阅esterel-users@sophia.inria.fr使用以下命令形式：

您的电子邮件(强制性的):

你的名字（仅用于订阅）:

订阅esterel-users
订阅结束
向我发送列表管理器帮助

如有任何问题或成功，请随时通知我们

Esterel的经验，发送电子邮件至

酯类使用者

，其中

打算成为一个用户可以讨论Esterel的论坛。

最后，错误报告应该发送到esterel-bugs@sophia.inria.fr.

享受吧，

杰拉德·贝里，

泽维尔·福纳里，

Jean-Paul Marmorat公司

网站管理员