- -

Reversible computation in term rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Reversible computation in term rewriting

Show full item record

Nishida, N.; Palacios, A.; Vidal, G. (2018). Reversible computation in term rewriting. Journal of Logical and Algebraic Methods in Programming. 94:128-149. https://doi.org/10.1016/j.jlamp.2017.10.003

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

Files in this item

Item Metadata

Title: Reversible computation in term rewriting
Author: Nishida, Naoki Palacios, Adrián Vidal, Germán
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:
[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, ...[+]
Subjects: Term rewriting , Reversible computation , Program transformation
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2017.10.003
Publisher version: http://doi.org/10.1016/j.jlamp.2017.10.003
Project ID:
EC/COST action IC1405
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad (MINECO) under grants TIN2013-44742-C4-1-R and TIN2016-76843-C4-1-R, by the Generalitat Valenciana under grant ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record