Sapiña Sanchis, Julia(Universitat Politècnica de València, 2012-10-02)
In this work we develop Julienne, an online trace slicer for the high
performance rewriting logic language Maude.
Trace slicing is a widely used technique for execution trace analysis that
is effectively used in program ...
[EN] This article introduces an educational experience related to the functionalist approaches to Translation Studies, which are part of the course content of the subject Introduction to Translation at the University of ...
Gutiérrez Gil, Raúl; Lucas Alba, Salvador(Universitat Politècnica de València, 2015-05-26)
Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions ...
Ballis, Demis(Universitat Politècnica de València, 2008-05-07)
The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...