-
题名同步语言Lustre的编译前端的设计与实现
被引量：2
- 1
-
-
作者
宋宇婷
孙小祥
冉丹
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机技术与发展》
2020年第2期33-36,共4页
-
基金
国家自然科学基金(U1533130)
-
文摘
同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。
-
关键词
同步语言lustre
正确性
编译器前端
C++语言
抽象语法树
-
Keywords
synchronous language lustre
correctness
compiler front-end
C++language
abstract syntax tree
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
