NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Graph-Grammatik"”.

  1. Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen

    Weinell, Erhard HerbertShaker2011

    aachen Repository record

  2. Verification of pointer programs

    Rieger, StefanPublikationsserver der RWTH Aachen University2009

    … employing context-free hyperedge replacement graph grammars to model the data structures and compute the abstraction mappings. The graph grammars are user defined and therefore this approach can handle a variety of different data structures. By means of partial concretization steps we avoid …

    aachen Repository record