- -

Browsing by Author "Nishida"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Author "Nishida"

Sort by: Order: Results:

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