On the Use of Graph Transformation in the Formal Specification of Model Interpreters

TitleOn the Use of Graph Transformation in the Formal Specification of Model Interpreters
Publication TypeJournal Article
Year of Publication2003
AuthorsKarsai, G, Agrawal, A, Shi, F, Sprinkle, J
JournalJournal of Universal Computer Science
Volume9
Pagination1296–1321
Date PublishedNovember
URLhttp://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf