- -

Listar por palabra clave "Program termination"

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

Listar por palabra clave "Program termination"

Ordenar por:Orden:Resultados:

  • thumb
    A Dependency Pair Framework for AvC-Termination 
    Alarcón Jiménez, Beatriz; Gutiérrez Gil, Raúl; Lucas, Salvador; Meseguer, José (Universitat Politècnica de València, 2011-05-04)
    The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ...
  • thumb
    Innermost Termination of Context-Sensitive Rewriting 
    Alarcón Jiménez, Beatriz; Lucas, Salvador (Universitat Politècnica de València, 2011-05-04)
    Innermost context-sensitive rewriting (CSR) has been proved useful for modeling the computational behavior of programs of algebraic languages like Maude, OBJ, etc, which incorporate an innermost strategy which is used to ...
  • thumb
    Symbolic execution as a basis for termination analysis 
    Vidal Oriola, Germán Francisco (Elsevier, 2015-05)
    Program termination is a relevant property that has been extensively studied in the context of many different formalisms and programming languages. Traditional approaches to proving termination are usually based on ...
  • thumb
    The origins of the halting problem 
    Lucas Alba, Salvador (Elsevier, 2021-06)
    [EN] The halting problem is a prominent example of undecidable problem and its formulation and undecidability proof is usually attributed to Turing's 1936 landmark paper. Copeland noticed in 2004, though, that it was so ...
  • thumb
    Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura 
    Martínez López, Alejandro (Universitat Politècnica de València, 2022-10-21)
    [ES] Realizar una herramienta que demuestra la terminación de sistemas de reescritura utilizando el denominado Marco de Pares de Dependencia (\emph{DP Framework}) a partir de procesadores aportados por usuarios externos. ...