对M语言流程控制语句语义分析方法研究.pdfVIP

M语言 63 对M语言流程控制语句语义分析方法的研究 张海曼高珍 (同济大学软件学院上海201804) 摘要：通过对M语言流程控制语句的研究，拳文应用基寸回填技术的语义分析法解决了以下四个方面的语义 解穰【1)if条件句的语义解释(2)谳条件句中多值和无下渗性的处氆【3)时血和妇循环句中含 b哟l【和c0妇语句的处理；(4)嵌套语句的处理．运用此方法的编译器不仅能生成完全正确的中间代码， 而且具有较高的效率和较：少的空间需求． 关键词：编译器，流翟控制语句，MAILAB，M语言，语义分析 A on ofM ResearchControl-flowSemantics AnalysisLanguage HaiminGaoZhcn Zhang 越，掀Thislx碑rpmsemsaII研10d in 伽Ilded MATI．AB姗㈣．憾solu垃oncontains妇幽咖foura潮：1．The‘觥蝴删in…if multi-value鼬d 鸵mm∞；2．The the∞小面出popa妇in‘switch’∞m锄髓sl inthe sentcxlces Oil nxanfing theabove madeMATLAB needs a lower techniqu瞩we compile,whichpossesses space much蜘cn呦and when theMATI．AB with C0泐脉． compared controllingseaa嗽MATI．AB，M 1畸wolldIs：om啦State-flow h[IgIlage釉揶I血卸lal灿 1引言 在传统的编译器构造中，流程控制部分常采用回填技术来进行语义分析。所谓回填，是 指有些转移地址无法在产生四元式的同时得知，必须扫描到以后的某个阶殷才唷皂获得，从而 推迟填写转移地址。M语言主要应用于—款名为M碰。AB的科学计算软件，其强大而灵活 的描述问题能力使其获得广泛的支持和应用。但目前对IVIATI．．AB的研究多停留在应用层面， 较少涉及其核心编译器的构造． 由于MATI．AB是—款商业软件，其源代码并不公开，因此无法得知其确切的语义分析 法。然而从i觅|腻中发现MATLAB的M语言编译器MCC在处理大文件时有较大的时空开销， 显然这是—大缺陷。此31-，当前有—款著名的开源项目—o口Ⅺ，E，以支持M语法而著称。 在相关著作5中，作者对M语言的语法作了详尽的分析，但对三类流程控制语句的语义处理 却没有深入探讨，对switch语段更是—字带过。为解决E述问题，本文提出—种基于数组和 回填技术的流程控制语句语义分析法。通过测试，证明其在生成完全正确的中问代码的基础 张海曼，1985年生，本科生，主要从事编译器与嵌入若涿统方面的研究。高珍，1979年生，讲师，博士。主 要从事程序设计语言和图像信息加密方面的研究．El／l面1．．triksin90@gmaii．eom． 程序设汁语言及其教学探索 上拥有良好的时空性能。 2语法概念 M语言主要用于科学计算，拥有自然而强大的表达能力，因此其文法有极大的上下文相 关性，这给流程控制语句的语义分析造成较大困难。这—语言提供了六条流