We believe that the technique of graph transformation offers a very natural way to specify semantics for languages that have dynamic allocation and linking structure; for instance, object-oriented programming languages, but also languages for mobility. In this note we expose, on a rather informal level, the reasons for this belief. Our hope in doing this is to raise interest in this technique and so generate more interest in the fascinating possibilities and open questions of this area.
|Number of pages||13|
|Journal||Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica|
|Publication status||Published - 2005|
- Graph Transformation