Automatic generation of interprocedural data-flow, analyzers and optimizers

	Automatic generation of interprocedural data-flow, analyzers and optimizers
	Lian, RQ; Zhang, ZQ; Qiao, RL
	2002-11-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	17 期号:6 页码:708-717
摘要	Interprocedural analysis and optimization are very important for compilers to exploit parallelism of modern high-performance computer systems. But it is very complicated, easy to make mistakes and difficult to maintain and port. To solve the problem, we construct an automatic generator of interprocedural analyzers and optimizers - IGEN. In IGEN, first a new model to describe the interprocedural data-flow problem is designed. It is fit for all traditional data-flow problems and can be used in context-sensitive algorithms. Then, the structure and the working environment of IGEN are described in detail. Finally, the implementation of IGEN and our experimental result are given.
关键词	data-flow analysis interprocedural analysis and optimization automatic generator
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000179638600006
出版者	SCIENCE CHINA PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/13596
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Lian, RQ
作者单位	Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Lian, RQ,Zhang, ZQ,Qiao, RL. Automatic generation of interprocedural data-flow, analyzers and optimizers[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2002,17(6):708-717.
APA	Lian, RQ,Zhang, ZQ,&Qiao, RL.(2002).Automatic generation of interprocedural data-flow, analyzers and optimizers.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,17(6),708-717.
MLA	Lian, RQ,et al."Automatic generation of interprocedural data-flow, analyzers and optimizers".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 17.6(2002):708-717.