- -

Reversible Term Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Reversible Term Rewriting

Show full item record

Nishida, N.; Palacios Corella, A.; Vidal Oriola, GF.; Nishida (2016). Reversible Term Rewriting. Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. doi:10.4230/LIPIcs.FSCD.2016.28

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/87619

Files in this item

Item Metadata

Title: Reversible Term Rewriting
Author: Nishida, Naoki Palacios Corella, Adrián Vidal Oriola, Germán Francisco Nishida
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
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: Term rewriting , Reversible computation , Bidirectional transformation
Copyrigths: Reconocimiento (by)
ISBN: 978-3-95977-010-1
Source:
(issn: 1868-8969 )
DOI: 10.4230/LIPIcs.FSCD.2016.28
Publisher:
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publisher version: http://drops.dagstuhl.de/opus/volltexte/2016/5984/
Conference name: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
Conference place: Porto, Portugal
Conference date: June 22-26, 2016
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: Comunicación en congreso

This item appears in the following Collection(s)

Show full item record