We define computation on grids as the composition, through pushout constructions, of control flows, carried across adjacency relations between grid cells, with formulas updating the value of some attribute. The approach is based on the identification of a subcategory of attributed typed graphs suitable to the definition of pushouts on grids, and is illustrated in the context of the Cyberfilm visual language.
Composing control flow and formula rules for computing on grids / Bottoni, Paolo Gaspare; N., Mirenkov; Y., Watanobe; R., Yoshioka. - In: ELECTRONIC COMMUNICATIONS OF THE EASST. - ISSN 1863-2122. - ELETTRONICO. - 10:(2008). (Intervento presentato al convegno Graph Transformation - Visual Modeling Techniques tenutosi a Budapest nel 29-30 Marzo 2008).
Composing control flow and formula rules for computing on grids
BOTTONI, Paolo Gaspare;
2008
Abstract
We define computation on grids as the composition, through pushout constructions, of control flows, carried across adjacency relations between grid cells, with formulas updating the value of some attribute. The approach is based on the identification of a subcategory of attributed typed graphs suitable to the definition of pushouts on grids, and is illustrated in the context of the Cyberfilm visual language.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
