• Exploiting parallelism by customizing evaluation 

    Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (Universidad Complutense de Madrid (UCM), 2011)
    Text en actes de congrés
    Accés obert
    NiMo is a totally graphic language from the family of Higher Order Typed languages with a strong Data flow inspiration. The interpreter is a specialized graph transformation system, and therefore the language operational ...
  • 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)
    Report de recerca
    Accés obert
    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 ...
  • Graphical type inference: A graph grammar definition 

    Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (2007-06)
    Report de recerca
    Accés obert
    We present a graph grammar based type inference system for a totally graphic language inspired in the data flow view of lazy functional programs. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that ...
  • Implementing static synchronous sensor fields using NiMo 

    Clérici Martínez, Silvia Inés; Duch Brown, Amalia; Zoltan Torres, Ana Cristina (2009-05)
    Report de recerca
    Accés obert
    In this work we present some implementations of a Static Synchronous Sensor Field (SSSF), a static and synchronous model for sensor networks in which a finite set of sensing devices are geographically distributed and can ...
  • NiMo syntax: part 1 

    Clérici Martínez, Silvia Inés; Prestigiacomo, Guillermo; Zoltan Torres, Ana Cristina (2014)
    Report de recerca
    Accés obert
    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
    Accés obert
    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 ...