10.3969/j.issn.1673-825X.2006.04.029
基于分层思想的变量类型提取方法
提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法.目的是为高级语言的类型信息的提取提供一般方法,从而降低类型系统实现的难度以及产生程序错误的可能性,并且简化高级语言的中间表示,便于后端的代码生成和优化.
编译器、类型树、类型提取、类型检查、类型系统
18
TP314(计算技术、计算机技术)
重庆市自然科学基金CSTC2005BB2012
2006-09-20(万方平台首次上网日期,不代表论文的发表时间)
共5页
539-543