On the Use of Graph Transformation in the Formal Specification of Model Interpreters
Title | On the Use of Graph Transformation in the Formal Specification of Model Interpreters |
Publication Type | Journal Article |
Year of Publication | 2003 |
Authors | Karsai, G, Agrawal, A, Shi, F, Sprinkle, J |
Journal | Journal of Universal Computer Science |
Volume | 9 |
Pagination | 1296–1321 |
Date Published | November |
URL | http://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf |