On Edge Addition Rewrite Systems and their Relevance to Program Analysis
暂无分享,去创建一个
[1] Matthew S. Hecht,et al. Flow Analysis of Computer Programs , 1977 .
[2] Uwe Aßmann,et al. Generierung von Programmoptimierungen mit Graphersetzungssystemen , 1996 .
[3] Barbara G. Ryder,et al. Elimination algorithms for data flow analysis , 1986, CSUR.
[4] Matthias Jarke,et al. Logic Programming and Databases , 1984, Expert Database Workshop.
[5] Barbara G. Ryder,et al. An efficient hybrid algorithm for incremental data flow analysis , 1989, POPL '90.
[6] Hartmut Ehrig,et al. Parallelism of Manipulations in Multidimensional Information Structures , 1976, MFCS.
[7] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .
[8] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .