- -

Añadidos recientemente

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • thumb
    On Unfolding Completeness for Rewriting Logic Theories 
    Alpuente Frasnedo, María; Baggi, Michele; Ballis, Demis; Falaschi, Moreno (Universitat Politècnica de València, 2010-10-04)
    Many transformation systems for program optimization, program synthesis, and program specialization are based on fold/unfold transformations. In this paper, we investigate the semantic properties of a narrowing-based ...
  • thumb
    A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended) 
    Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2010-06-07)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...