Definition of a Type System for Generic and Reflective Graph Transformations
This thesis presents the extension of the graph transformation language SDM (Story Driven Modeling) with generic and reflective features as well as the definition of type checking rules for this language. The generic and reflective features aim at improving the reusability and expressiveness of SDM,...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | German en |
| Published: |
2014
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/4119/1/phdThesis-LegrosElodie-2014.pdf Legros, Elodie <http://tuprints.ulb.tu-darmstadt.de/view/person/Legros=3AElodie=3A=3A.html> (2014): Definition of a Type System for Generic and Reflective Graph Transformations.Darmstadt, Technische Universität, [Ph.D. Thesis] |