计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
25期
80-83
,共4页
吴民峰%吴义忠%周凡利%陈立平
吳民峰%吳義忠%週凡利%陳立平
오민봉%오의충%주범리%진립평
类型系统%Modelica%多领域%建模语言
類型繫統%Modelica%多領域%建模語言
류형계통%Modelica%다영역%건모어언
类型解析是编译器开发的一项重要工作,也是语义分析的一个最重要组成部分.基于Modelica建模语言,研究了编译器类型系统的作用域、类型检查等关键技术,提出了类型系统的解析和查找机制,实现了类型检查及错误处理机制,并在多领域物理系统建模与仿真平台MWorks系统中得到应用.
類型解析是編譯器開髮的一項重要工作,也是語義分析的一箇最重要組成部分.基于Modelica建模語言,研究瞭編譯器類型繫統的作用域、類型檢查等關鍵技術,提齣瞭類型繫統的解析和查找機製,實現瞭類型檢查及錯誤處理機製,併在多領域物理繫統建模與倣真平檯MWorks繫統中得到應用.
류형해석시편역기개발적일항중요공작,야시어의분석적일개최중요조성부분.기우Modelica건모어언,연구료편역기류형계통적작용역、류형검사등관건기술,제출료류형계통적해석화사조궤제,실현료류형검사급착오처리궤제,병재다영역물리계통건모여방진평태MWorks계통중득도응용.