同步语言 Lustre 的编译前端的设计与实现

来源：计算机技术与发展杂志2020年第02期北京时间：

作者：宋宇婷;孙小祥;冉丹

摘要：同步语言 Lustre 所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。 如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。 系统中的任何一个词法错误或者 语法错误都应该受到重视,而且应该被及时纠正。 因此,对 Lustre 语言进行正确的编译是十分重要的。 传统的 Lustre 语言 的编译器都采用 OCaml 语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和 精力。 基于上述问题,提出了一种新型的 Lustre 语言编译器。 新型的 Lustre 语言编译器前端主要采用C++语言进行描述, 并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。 该编译前端会对一个经典的 Lustre 语言模型进行检测, 通过对检测的结果进行分析,验证了该编译前端的可行性。

关键词：同步语言Lustre;正确性;编译器前端;C++语言;抽象语法树