Výsledky vyhledávání - "Prestigiacomo, Guillermo"

Akademický článek

NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation

Autor: Clerici, Silvia, Zoltan, Cristina, Prestigiacomo, Guillermo

Publikováno v: In Electronic Notes in Theoretical Computer Science 25 December 2009 258(1):93-107

Autor: Prestigiacomo, Guillermo Federico, Fernández González, Rafael, Universitat Autònoma de Barcelona. Escola d'Enginyeria

Publikováno v: Recercat: Dipósit de la Recerca de Catalunya
Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)

ElevationSys es un sistema de gestión web para el proceso de producción de una empresa de ascensores. El sistema contiene diferentes tipos de usuarios de los departamentos de la empresa y esta administrado por unos flujos con relación de dependenc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::369df60e1cc2930c15e6a0585d393645
http://hdl.handle.net/2072/420842

Zobrazit plný text záznamu

NiMo syntax: part 1

Autor: Clérici Martínez, Silvia Inés, Prestigiacomo, Guillermo, Zoltan Torres, Ana Cristina

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Many formalisms for the specification for concurrent and distributed systems have emerged. In particular considering boxes and strings approaches. Examples are action calculi, rewriting logic and graph rewriting, bigraphs. The boxes and string metaph

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6806e73a13bc653257bc393a91621a36
http://hdl.handle.net/2117/99459

Zobrazit plný text záznamu

ElevationSys

Autor: Prestigiacomo, Guillermo Federico

Publikováno v: RECERCAT (Dipòsit de la Recerca de Catalunya)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______272::fda544397891a6105a79a8b46f6a4a3a
https://hdl.handle.net/2072/196277

Zobrazit plný text záznamu

Nimo toons, el núcleo de un entorno de programación totalmente gráfica

Autor: Prestigiacomo, Guillermo

Publikováno v: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e1e4fd469168462f7a6e0b31b76b487
https://hdl.handle.net/2099.1/5389

Zobrazit plný text záznamu

Akademický článek

Graphical and incremental type inference. A graph transformation approach.

Autor: Clerici, Silvia, Zoltan, Cristina, Prestigiacomo, Guillermo

Publikováno v: Higher-Order & Symbolic Computation; Dec2013, Vol. 26 Issue 1-4, p29-62, 34p

Zobrazit plný text záznamu

Graphical and incremental type inference: a graph transformation approach

Autor: Clérici Martínez, Silvia Inés, Zoltan Torres, Ana Cristina, Prestigiacomo, Guillermo

Publikováno v: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

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 ev

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10ae6380fc2af6206c3acd5835c995d5
http://hdl.handle.net/2117/87151

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání