期刊文献+

基于分层思想的变量类型提取方法 被引量:1

Variable type collecting method based on layered thoughtway
下载PDF
导出
摘要 提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法,从而降低类型系统实现的难度以及产生程序错误的可能性,并且简化高级语言的中间表示,便于后端的代码生成和优化。 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.
作者 甘玲 汤睿
出处 《重庆邮电学院学报(自然科学版)》 2006年第4期539-543,共5页 Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition)
基金 重庆市科委自然科学基金项目(CSTC2005BB2012)
关键词 编译器 类型树 类型提取 类型检查 类型系统 compiler type-tree type-collection type-checking type-system
  • 相关文献

参考文献7

二级参考文献3

共引文献7

同被引文献6

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部