- -

Listar por Patrocinador "European Research Consortium for Informatics and Mathematics"

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

Listar por Patrocinador "European Research Consortium for Informatics and Mathematics"

Ordenar por:Orden:Resultados:

  • thumb
    Inspecting rewriting logic computations (in a parametric and stepwise way) 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer Verlag (Germany), 2014)
    Trace inspection is concerned with techniques that allow the trace content to be searched for specific components. This paper presents a rich and highly dynamic, parameterized technique for the trace inspection of ...
  • thumb
    PAN@FIRE: Overview of the cross-language !ndian Text re-use detection competition 
    Barrón Cedeño, Luis Alberto; Rosso ., Paolo; Sobha, Lalitha Devi; Clough ., Paul; Stevenson ., Mark (Springer Verlag (Germany), 2013)
    The development of models for automatic detection of text re-use and plagiarism across languages has received increasing attention in recent years. However, the lack of an evaluation framework composed of annotated datasets ...
  • thumb
    Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña Sanchis, Julia (Springer, 2013)
    We present iJulienne, a trace analyzer for conditional rewriting logic theories that can be used to compute abstract views of Maude executions that help users understand and debug programs. Given a Maude execution trace ...