- -

Listar por palabra clave "Reversible computation"

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

Listar por palabra clave "Reversible computation"

Ordenar por:Orden:Resultados:

  • thumb
    A theory of reversibility for Erlang 
    Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Elsevier, 2018-11)
    [EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it ...
  • thumb
    Reversible computation in term rewriting 
    Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Elsevier, 2018)
    [EN] Essentially, in a reversible programming language, for each forward computation from state S to state S', there exists a constructive method to go backwards from state S' to state S. Besides its theoretical interest, ...
  • thumb
    Reversible Term Rewriting 
    Nishida, Naoki; Palacios Corella, Adrián; Vidal Oriola, Germán Francisco; Nishida (Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
    Essentially, in a reversible programming language, for each forward computation step from state S to state S', there exists a constructive and deterministic method to go backwards from state S' to state S. Besides its ...