Now showing items 1-4 of 4

  • Graphical and incremental type inference: a graph transformation approach 

    Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina; Prestigiacomo, Guillermo (2009-11-17)
    External research report
    Open Access
    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 ...
  • NiMo syntax: part 1 

    Clérici Martínez, Silvia Inés; Prestigiacomo, Guillermo; Zoltan Torres, Ana Cristina (2014)
    External research report
    Open Access
    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. ...
  • NiMoToons: a totally graphic workbench for program tuning and experimentation 

    Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina; Prestigiacomo, Guillermo (Elsevier Science Publishers B.V. NORTH HOLLAND, 2009-12-25)
    Article
    Open Access
    NiMo (Nets In Motion) is a Graphic-Functional-Data Flow language designed to visualize algorithms and their execution in an understandable way. Programs are process networks that evolve showing the full state at each ...
  • Nimo toons, el núcleo de un entorno de programación totalmente gráfica 

    Prestigiacomo, Guillermo (Universitat Politècnica de Catalunya, 2007-07)
    Master thesis (pre-Bologna period)
    Open Access