| Dactl: An experimental graph rewriting language (1990) | |||||||||||||||||||
Abstract | |||||||||||||||||||
| A generalized computational model based on graph rewriting is presented along with Dactl, an associated compiler target (intermediate) language. An illustration of the capability of graph rewriting to model a variety of computational formalisms is presented by showing how some examples written originally in a number of languages can be described as graph rewriting transformations using Dactl notation. This is followed by a formal presentation of the Dactl model before giving a formal definition of the syntax and semantics of the language. Some implementation issues are also discussed. | |||||||||||||||||||
Details der Publikation | |||||||||||||||||||
| |||||||||||||||||||