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

• 作者: 冉丹 孙小祥 宋宇婷
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 同步语言Lustre 正确性 编译器前端 C++语言 抽象语法树
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 33-36
• 页数: 4页
• 分类号: TP31
• 字数: 3977字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2020.02.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋宇婷	南京航空航天大学计算机科学与技术学院	4	1	1.0	1.0
2	冉丹	南京航空航天大学计算机科学与技术学院	2	1	1.0	1.0
3	孙小祥	南京航空航天大学计算机科学与技术学院	1	0	0.0	0.0