Nishida, N.; Palacios Corella, A.; Vidal Oriola, GF.; Nishida (2016). Reversible Term Rewriting. Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2016.28
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/87619
Title: | Reversible Term Rewriting | |
Author: | Nishida, Naoki Nishida | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
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 ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reconocimiento (by) | |
ISBN: |
|
|
Source: |
(issn:
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | http://drops.dagstuhl.de/opus/volltexte/2016/5984/ | |
Conference name: |
|
|
Conference place: |
|
|
Conference date: |
|
|
Project ID: |
|
|
Thanks: |
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economía y Competitividad (MINECO) under grant TIN2013-44742-C4-1-R, by the Generalitat Valenciana under grant PROMETEO-II/2015/013 ...[+]
|
|
Type: |
|