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

Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. J. UCS, 9(11):1296-1321, 2003. [doi]

Abstract

Abstract is missing.