Karl Azab, Annegret Habel. High-Level Programs and Program Conditions. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Volume 5214 of Lecture Notes in Computer Science, pages 211-225, Springer, 2008. [doi]
Abstract is missing.