- -

Listar por palabra clave "Erasure"

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

Listar por palabra clave "Erasure"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Certification of Java Programs in Rewriting Logic 
    Alba Castro, Mauricio Fernando (Universitat Politècnica de València, 2011-11-28)
    In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming ...
  • thumb
    El borrado como estrategia de producción artística 
    Rey Villaronga, Gonzalo (Editorial Universitat Politècnica de València, 2017-10-23)
    [EN] With the analysis of the performance "Vienna says ..." by the German artist Nasan Tur we try to demonstrate how erasure is not only a practice that is reached through subtraction, but also through addiction. And how ...