Type Annotation for Adaptive Systems

Paolo Bottoni
(Sapienza University)
Andrew Fish
(University of Brighton)
Francesco Parisi Presicce
(Sapienza University)

We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can adapt to changes in context by changing their type annotations. We discuss some case studies in which this mechanism is relevant.

In Alexander Heußner, Aleks Kissinger and Anton Wijs: Proceedings Second Graphs as Models Workshop (GaM 2016), Eindhoven, The Netherlands, April 2-3, 2016, Electronic Proceedings in Theoretical Computer Science 231, pp. 1–15.
Published: 4th December 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.231.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org