- -

Listar por palabra clave "Terminación"

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

Listar por palabra clave "Terminación"

Ordenar por:Orden:Resultados:

  • thumb
    La terminación del arrendamiento rústico histórico 
    Ramón Fernández, Francisca (Universitat Politècnica de València, 2014-09-03)
    Se explica cómo se termina el arrendamiento rústico histórico
  • thumb
    Term rewriting systems .net framework 
    Arnal Julián, Salvador (Universitat Politècnica de València, 2014-11-18)
    [EN] This thesis presents the implementation of a framework to work with term rewriting systems. Term rewriting systems provide a complete computational model which is very close to functional programming. Its formulation ...
  • thumb
    Termination of Narrowing: Automated Proofs and Modularity Properties 
    Iborra López, José (Universitat Politècnica de València, 2013-02-11)
    En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir si un programa termina o no, es un problema indecidible para la inmensa mayoria de los lenguajes de programacion. A pesar de ello, la ...
  • thumb
    Una aproximación offline a la evaluación parcial dirigida por narrowing 
    Ramos Díaz, J. Guadalupe (Universitat Politècnica de València, 2008-05-06)
    La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes ...