| 基于分层思想的变量类型提取方法 |
| |
| 引用本文： | 甘玲,汤睿.基于分层思想的变量类型提取方法[J].重庆邮电大学学报(自然科学版),2006,18(4):539-543. |
| |
| 作者姓名： | 甘玲 汤睿 |
| |
| 作者单位： | 重庆邮电大学,计算机科学与技术学院,重庆,400065 |
| |
| 摘 要： | 提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。
|
| 关 键 词： | 编译器 类型树 类型提取 类型检查 类型系统 |
| 文章编号： | 1004-5694(2006)04-0539-05 |
| 收稿时间： | 2005/12/25 0:00:00 |
| 修稿时间： | 2005年12月25 |
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,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: | |
| |
| Keywords: | compiler type-tree type-collection type-checking type system |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《重庆邮电大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆邮电大学学报(自然科学版)》下载免费的PDF全文 |
