Graph Rewriting and Automatic, Machine-Independent Program Optimization
暂无分享,去创建一个
[1] Barry K. Rosen. High-level data flow analysis , 1977, CACM.
[2] F. L. Bauer. From specification to implementation — The formal approach , 1979 .
[3] Manfred Nagl,et al. An Incremental Compiler as Component of a System for Software Generation , 1980, Fachtagung über Programmiersprachen.
[4] Manfred Nagl,et al. Syntaxgesteuerte Programmierung und inkrementelle Compilation , 1977, GI Jahrestagung.
[5] Manfred Nagl. Graph-Grammatiken: Theorie, Anwendungen, Implementierung , 1979 .
[6] Marvin V. Zelkowitz,et al. Optimization of structured programs , 1974, Softw. Pract. Exp..
[7] Barry K. Rosen. Data Flow Analysis for Procedural Languages , 1979, JACM.
[8] Manfred Nagl,et al. Application of Graph Rewriting to Optimization and Parallelization of Programs , 1981 .
[9] Hartmut Ehrig,et al. Graph-Grammars and Their Application to Computer Science and Biology , 1978, Lecture Notes in Computer Science.
[10] Hans Jürgen Schneider,et al. Syntax-Directed Description of Incremental Compilers , 1974, GI Jahrestagung.
[11] Ken Kennedy,et al. Graph grammars and global program data flow analysis , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
[12] David B. Loveman. Program improvement by source to source transformation , 1976, POPL '76.
[13] Donald E. Knuth,et al. Structured Programming with go to Statements , 1974, CSUR.