| 基于分层思想的变量类型提取方法 |
| |
| 引用本文： | 甘玲,汤睿.基于分层思想的变量类型提取方法[J].重庆邮电学院学报(自然科学版),2006,18(4):539-543. |
| |
| 作者姓名： | 甘玲 汤睿 |
| |
| 作者单位： | 重庆邮电大学计算机科学与技术学院,重庆400065 |
| |
| 基金项目： | 重庆市科委自然科学基金项目（CSTC2005BB2012） |
| |
| 摘 要： | 提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。
|
| 关 键 词： | 编译器 类型树 类型提取 类型检查 类型系统 |
| 文章编号： | 1004-5694（2006）04-0539-05 |
| 收稿时间： | 2005-12-25 |
| 修稿时间： | 2006-06-10 |
Variable type collecting method based on layered thoughtway |
| |
| GAN Ling, TANG Rui.Variable type collecting method based on layered thoughtway[J].Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition),2006,18(4):539-543. |
| |
| Authors: | GAN Ling TANG Rui |
| |
| Institution: | College of Computer Science and Technology ,Chongqing University of Posts and Telecommunications ,Chongqing 400065 , P. R China |
| |
| Abstract: | This paper introduced a kind of variable type collecting method, which is based on layered thoughtway and abstract syntax tree. Our purpose is to supply a common method for type information collection of high-level programming languages, so that we can lower the difficulty of the implemention of type system and the possibility of occurence of the program errors; simplify the intermediate presentation of high-level programming language, so that we can do code generation and optimization conveniently. |
| |
| Keywords: | compiler type-tree type-collection type-checking type-system |
| 本文献已被 CNKI 维普 等数据库收录！ |
