Mostrar el registro completo del ítem
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
Título: | Reversible Term Rewriting | |
Autor: | Nishida, Naoki Nishida | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
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 ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reconocimiento (by) | |
ISBN: |
|
|
Fuente: |
(issn:
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://drops.dagstuhl.de/opus/volltexte/2016/5984/ | |
Título del congreso: |
|
|
Lugar del congreso: |
|
|
Fecha congreso: |
|
|
Código del Proyecto: |
|
|
Agradecimientos: |
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 ...[+]
|
|
Tipo: |
|