메뉴 건너뛰기




Volumn 6, Issue , 2007, Pages

Adding recursion to graph transformation

Author keywords

Double Pushout; Graph transformation; Recursion

Indexed keywords


EID: 77954731385     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.6.56.41     Document Type: Conference Paper
Times cited : (5)

References (15)
  • 1
    • 33751050650 scopus 로고    scopus 로고
    • Advanced Model Transformation Language Constructs in the VIATRA2 Framework
    • A. Balogh, D. Varró. Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In Proc. ACM SAC'06. Pp. 1280-1287. 2006
    • (2006) In Proc. ACM SAC'06 , pp. 1280-1287
    • Balogh, A.1    Varró, D.2
  • 4
    • 33644916206 scopus 로고    scopus 로고
    • Extending Graph Rewriting for Refactoring
    • LNCS 3256 Springer
    • N. V. Eetvelde, D. Janssens. Extending Graph Rewriting for Refactoring. In Proc. ICGT'04. LNCS 3256, pp. 399-415. Springer, 2004
    • (2004) In Proc. ICGT'04 , pp. 399-415
    • Eetvelde, N.V.1    Janssens, D.2
  • 5
    • 23844447942 scopus 로고    scopus 로고
    • On the Use of Graph Transformation in the Formal Specification of Model Interpreters
    • G. Karsai, A. Agrawal, F. Shi, J. Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. JUCS 9(11):1296-1321, 2003
    • (2003) JUCS , vol.9 , Issue.11 , pp. 1296-1321
    • Karsai, G.1    Agrawal, A.2    Shi, F.3    Sprinkle, J.4
  • 6
    • 67649680909 scopus 로고    scopus 로고
    • Model Transformation Language MOLA: Extended Patterns]
    • IOS Press
    • A. Kalnins, J. Barzdins, E. Celms. Model Transformation Language MOLA: Extended Patterns. In Proc. DB&IS'2004. Volume 118, pp. 169-184. IOS Press, 2005
    • (2005) In Proc. DB&IS'2004 , vol.118 , pp. 169-184
    • Kalnins, A.1    Barzdins, J.2    Celms, E.3
  • 7
    • 33847664593 scopus 로고    scopus 로고
    • Adhesive Categories
    • In Walukiewicz (ed.). Springer
    • S. Lack, P. Sobocinski. Adhesive Categories. In Walukiewicz (ed.), FoSSaCS. LNCS 2987, pp. 273-288. Springer, 2004
    • (2004) FoSSaCS. LNCS 2987 , pp. 273-288
    • Lack, S.1    Sobocinski, P.2
  • 8
    • 3242662812 scopus 로고    scopus 로고
    • Defining visual notations and their manipulation through meta-modelling and graph transformation
    • J. de Lara, H. Vangheluwe. Defining visual notations and their manipulation through meta-modelling and graph transformation. JVLC 15(3-4):309-330, 2004
    • (2004) JVLC , vol.15 , Issue.3-4 , pp. 309-330
    • de Lara, J.1    Vangheluwe, H.2
  • 9
    • 0036642652 scopus 로고    scopus 로고
    • 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. Sci. Comput. Program. 44(2):157-180, 2002
    • (2002) Sci. Comput. Program , vol.44 , Issue.2 , pp. 157-180
    • Minas, M.1
  • 11
    • 84871978338 scopus 로고    scopus 로고
    • OMG. QVT Specification at:http://www.omg.org/docs/ptc/05-11-01.pdf
    • QVT Specification
  • 14
    • 0003566283 scopus 로고    scopus 로고
    • Formal Description and Application to Communication-Based Systems. Shaker Verlag
    • G. Taentzer. Parallel and Distributed Graph Transformation. Formal Description and Application to Communication-Based Systems. Shaker Verlag, 1996
    • (1996) Parallel and Distributed Graph Transformation
    • Taentzer, G.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.