Transformationas of Derivation Sequences in Graph Grammars
暂无分享,去创建一个
[1] Ravi Sethi,et al. Testing for the Church-Rosser Property , 1974, JACM.
[2] Ken Kennedy,et al. Graph grammars and global program data flow analysis , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
[3] Hartmut Ehrig,et al. Graph-Grammars: An Algebraic Approach , 1973, SWAT.
[4] Timothy V. Griffiths. Some Remarks on Derivations in General Rewriting Systems , 1968, Inf. Control..
[5] Reinhold Franck. PLAN2D - syntactic analysis of precedence graph grammars , 1976, POPL '76.
[6] Hartmut Ehrig,et al. Parallelism of Manipulations in Multidimensional Information Structures , 1976, MFCS.
[7] Barry K. Rosen,et al. A Church-Rosser theorem for graph grammars , 1975, SIGA.
[8] Hartmut Ehrig,et al. Embedding Theorem in the Algebraic Theory of Graph Grammars , 1977, FCT.
[9] Barry K. Rosen,et al. Correctness of Parallel Programs: The Church-Rosser Approach , 1976, Theor. Comput. Sci..
[10] H. Kreowski,et al. Categorical Approach to Graphic Systems and Graph Grammars , 1976 .