Delaying Constraint Solving in Symbolic Graph Transformation (Q4931303)
From MaRDI portal
scientific article; zbMATH DE number 5795652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Delaying Constraint Solving in Symbolic Graph Transformation |
scientific article; zbMATH DE number 5795652 |
Statements
Delaying Constraint Solving in Symbolic Graph Transformation (English)
0 references
4 October 2010
0 references
attributed graph transformation
0 references
symbolic graph transformation
0 references
lazy transformation
0 references
