Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of logic in computer science (vol. 2)
Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
Visual object-oriented programming: concepts and environments
Visual object-oriented programming: concepts and environments
Gamma and the chemical reaction model: ten years after
Coordination programming
Solving shape-analysis problems in languages with destructive updating
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Hyperedge replacement graph grammars
Handbook of graph grammars and computing by graph transformation
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Science of Computer Programming
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Handbook of graph grammars and computing by graph transformation
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
Semantics of object-oriented languages
Handbook of graph grammars and computing by graph transformation
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Graph transformation units and modules
Handbook of graph grammars and computing by graph transformation
Classification and comparison of module concepts for graph transformation systems
Handbook of graph grammars and computing by graph transformation
Hyperedge Replacement: Grammars and Languages
Hyperedge Replacement: Grammars and Languages
Concepts and realization of a diagram editor generator based on hypergraph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Hierarchical graph transformation
Journal of Computer and System Sciences
The Category of Typed Graph Grammars and its Adjunctions with Categories
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Graph Unification and Matching
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
More About Control Conditions for Transformation Units
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Using the CDL Compiler-Compiler
Compiler Construction, An Advanced Course, 2nd ed.
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Graph Grammars as Tools in Applications Work?
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Abstraction and Control for Shapely Nested Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Object-Oriented Concurrent Constraint Programming in Oz
Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu
Shapely Hierarchical Graph Transformation
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Towards Generic Rule-Based Visual Programming
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Context-exploiting shapes for diagram transformation
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Graphs and Hypergraphs
Copying Subgraphs Within Model Repositories
Electronic Notes in Theoretical Computer Science (ENTCS)
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-Based Programming with Diaplan
Electronic Notes in Theoretical Computer Science (ENTCS)
Cloning and Expanding Graph Transformation Rules for Refactoring
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Shapely nested graph transformation is the computational model for DIAPLAN, a language for programming with graphs representing diagrams that is currently being developed. The model supports nested structuring of graphs, structural graph types (shapes), and rules with graph variables. We extend this model by two concepts that are essential for programming: abstraction allows compound transformations to be named and parameterized; control allows the order of rule application to be specified. These concepts refine the computational model with respect to structuring and efficiency needs of a programming language while preserving its rule-based and graph-ical nature.