A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Undecidable Control Conditions in Graph Transformation Units
2008
Electronical Notes in Theoretical Computer Science
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in a terminal graph. This transformation process has to obey a so-called control condition, i.e. the device to select how rules or imported transformation units are to be combined in the transformation process executed by the unit. While the other parts of a unit may simply be required to be computable, this is too
doi:10.1016/j.entcs.2007.08.028
fatcat:gtqyxfwixfgwrp2nwsjo7ahk7y