- -

Listar por autor "Falaschi, Moreno"

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

Listar por autor "Falaschi, Moreno"

Ordenar por:Orden:Resultados:

  • 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
    Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems 
    Baggi ., Michele (Universitat Politècnica de València, 2010-11-29)
    Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como ...