Exploració per autor "Clérici Martínez, Silvia Inés"Més informació

Ara es mostren els items 1-7 de 7

    • Development of algebraic specifications with constraints 

      Orejas Valdés, Fernando; Sacristán Adinolfi, Vera; Clérici Martínez, Silvia Inés (1989)
      Report de recerca
      Accés obert
      A formal framework for the development of algebraic specifications is presented. Ther main issues concerning the approach are the following: we allow to deal with incomplete specifications during the design process. This ...

    • 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 ...