- -

Listar por palabra clave "Code inspections and walkthroughs"

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

Listar por palabra clave "Code inspections and walkthroughs"

Ordenar por:Orden:Resultados:

  • thumb
    Reversible CSP Computations 
    Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador (Institute of Electrical and Electronics Engineers, 2021-06-01)
    [EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic ...