嵌入一致图语法的依赖图(英文)

作者：李国东; 张德富

来源：软件学报, 2004, (07): 956-968.

DOI：10.13328/j.cnki.jos.2004.07.002

• 框架图语法
• 图重写
• 依赖图
• 超图
• 编译 graph grammar
• graph rewriting
• dependency graph
• hypergraph
• compiling

图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.

• 单位
  计算机软件新技术国家重点实验室; 南京大学