- -

Listar por palabra clave "Java programs"

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

Listar por palabra clave "Java programs"

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 ...