-
1
-
-
0004288194
-
-
Monographs in Computer Science. Springer, New York
-
M. Abadi, L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, New York, 1996
-
(1996)
A Theory of Objects
-
-
Abadi, M.1
Cardelli, L.2
-
2
-
-
0004072686
-
-
Pearson/Addison-Wesley, Boston, Massachusetts, 2nd edition
-
A. V. Aho, M. S. Lam, R. Sethi, J. D. Ullman. Compilers: Principles, Techniques and Tools. Pearson/Addison-Wesley, Boston, Massachusetts, 2nd edition, 2007
-
(2007)
Compilers: Principles, Techniques and Tools
-
-
Aho, A.V.1
Lam, M.S.2
Sethi, R.3
Ullman, J.D.4
-
4
-
-
0023571040
-
An Axiomatic Definition of Context-free Rewriting and its Application to NLC rewriting
-
B. Courcelle. An Axiomatic Definition of Context-free Rewriting and its Application to NLC rewriting. Theoretical Computer Science 55:141-181, 1987
-
(1987)
Theoretical Computer Science
, vol.55
, pp. 141-181
-
-
Courcelle, B.1
-
5
-
-
0000809609
-
Graph Rewriting: An Algebraic and Logical Approach
-
Leeuwen (ed.), Elsevier, Amsterdam
-
B. Courcelle. Graph Rewriting: An Algebraic and Logical Approach. In Leeuwen (ed.), Handbook of Theoretical Computer Science. Volume B, pp. 193-242. Elsevier, Amsterdam, 1990
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 193-242
-
-
Courcelle, B.1
-
6
-
-
33750250568
-
Adaptive Star Grammars
-
Corradini et al. (eds.), Springer
-
F. Drewes, B. Hoffmann, D. Janssens, M. Minas, N. V. Eetvelde. Adaptive Star Grammars. In Corradini et al. (eds.), 3rd Int'l Conference on Graph Transformation (ICGT'06). Lecture Notes in Computer Science 4178, pp. 77-91. Springer, 2006
-
(2006)
3rd Int'l Conference on Graph Transformation (ICGT'06). Lecture Notes in Computer Science 4178
, pp. 77-91
-
-
Drewes, F.1
Hoffmann, B.2
Janssens, D.3
Minas, M.4
Eetvelde, N.V.5
-
7
-
-
85042877124
-
Adaptive Star Grammars and Their Languages
-
Accepted for publication
-
F. Drewes, B. Hoffmann, D. Janssens, M.Minas. Adaptive Star Grammars and Their Languages. Theoretical Computer Science, p. 41, 2009. Accepted for publication
-
(2009)
Theoretical Computer Science
, pp. 41
-
-
Drewes, F.1
Hoffmann, B.2
Janssens, D.3
Minas, M.4
-
10
-
-
56749184176
-
Adaptive Star Grammars for Graph Models
-
Ehrig et al. (eds.), Springer
-
F. Drewes, B. Hoffmann, M. Minas. Adaptive Star Grammars for Graph Models. In Ehrig et al. (eds.), 4th International Conference on Graph Transformation (ICGT'08). Lecture Notes in Computer Science 5214, pp. 201-216. Springer, 2008
-
(2008)
4th International Conference on Graph Transformation (ICGT'08). Lecture Notes in Computer Science 5214
, pp. 201-216
-
-
Drewes, F.1
Hoffmann, B.2
Minas, M.3
-
18
-
-
69749116786
-
Correctness of high-level transformation systems relative to nested conditions
-
A. Habel, K.-H. Pennemann. Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science 19(2):245-296, 2009
-
(2009)
Mathematical Structures in Computer Science
, vol.19
, Issue.2
, pp. 245-296
-
-
Habel, A.1
Pennemann, K.-H.2
-
19
-
-
23944525125
-
Formalizing refactorings with graph transformations
-
T. Mens, N. V. Eetvelde, S. Demeyer, D. Janssens. Formalizing refactorings with graph transformations. Journal on Software Maintenance and Evolution: Research and Practice 17(4):247-276, 2005
-
(2005)
Journal on Software Maintenance and Evolution: Research and Practice
, vol.17
, Issue.4
, pp. 247-276
-
-
Mens, T.1
Eetvelde, N.V.2
Demeyer, S.3
Janssens, D.4
-
20
-
-
0036642652
-
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation
-
M. Minas. Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation. Science of Computer Programming 44(2):157-180, 2002
-
(2002)
Science of Computer Programming
, vol.44
, Issue.2
, pp. 157-180
-
-
Minas, M.1
-
22
-
-
0000632247
-
The PROGRES Approach: Language and Environment
-
Engels et al. (eds.), World Scientific, Singapore
-
A. Schürr, A. Winter, A. Zündorf. The PROGRES Approach: Language and Environment. In Engels et al. (eds.), Handbook of Graph Grammars and Computing by Graph Transformation. Vol. II: Applications, Languages, and Tools. Chapter 13, pp. 487-550. World Scientific, Singapore, 1999
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools. Chapter 13
, vol.2
, pp. 487-550
-
-
Schürr, A.1
Winter, A.2
Zündorf, A.3
|