摘要
类型解析是编译器开发的一项重要工作,也是语义分析的一个最重要组成部分。基于Modelica建模语言,研究了编译器类型系统的作用域、类型检查等关键技术,提出了类型系统的解析和查找机制,实现了类型检查及错误处理机制,并在多领域物理系统建模与仿真平台MWorks系统中得到应用。
Type parsing is an important work during compiler developing and one of the most important compositions of semantic parsing.Based on the Modelica language,we have studied the key technics of scope and type checking, provided a scheme for type system parsing and lookup,and implemented the scheme for type checking and error solution,and appied in the Multi-domain unified modeling and simulating platform MWorks.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第25期80-83,共4页
Computer Engineering and Applications
基金
国家863高技术研究发展计划资助项目(编号:2003AA001031)
国家973重点基础研究发展规划资助项目(编号:2003CB716207)
国家自然科学基金资助项目(编号:60574053)
