Mostra el registre d'ítem simple
Graphical and incremental type inference: a graph transformation approach
dc.contributor.author | Clérici Martínez, Silvia Inés |
dc.contributor.author | Zoltan Torres, Ana Cristina |
dc.contributor.author | Prestigiacomo, Guillermo |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2016-05-18T08:49:33Z |
dc.date.available | 2016-05-18T08:49:33Z |
dc.date.issued | 2009-11-17 |
dc.identifier.citation | Clérici, S.I., Zoltan, A., Prestigiacomo, G. "Graphical and incremental type inference: a graph transformation approach". 2009. |
dc.identifier.uri | http://hdl.handle.net/2117/87151 |
dc.description.abstract | We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs are process networks that evolve giving total visibility of the execution state, and can be interactively completed, changed or stored at any step. In such a context, type inference must be incremental. During the net construction or modification only type safe connections are allowed. The user visualises the type information evolution and, in case of conflict, can easily identify the causes. Though based on the same ideas, the type inference system has significant differences with its analogous in functional languages. Process types are a non-trivial generalization of functional types to handle multiple outputs, partial application in any order, and curried-uncurried coercion. Here we present the elements to model graphical inference, the notion of structural and non-structural equivalence of type graphs, and a graph unification and composition calculus for typing nets in an incremental way. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-09-33-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject.other | Type inference |
dc.subject.other | Type visualization |
dc.subject.other | Graph Transformation |
dc.subject.other | Data visualisation |
dc.subject.other | Functional languages |
dc.subject.other | Graph grammars |
dc.title | Graphical and incremental type inference: a graph transformation approach |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 2960225 |
dc.description.version | Postprint (published version) |
local.citation.author | Clérici, S.I.; Zoltan, A.; Prestigiacomo, G. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]