- -

A theory of reversibility for Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A theory of reversibility for Erlang

Show simple item record

Files in this item

dc.contributor.author Lanese, Ivan es_ES
dc.contributor.author Nishida, Naoki es_ES
dc.contributor.author Palacios, Adrián es_ES
dc.contributor.author Vidal, Germán es_ES
dc.date.accessioned 2020-06-09T03:31:46Z
dc.date.available 2020-06-09T03:31:46Z
dc.date.issued 2018-11 es_ES
dc.identifier.issn 2352-2208 es_ES
dc.identifier.uri http://hdl.handle.net/10251/145737
dc.description.abstract [EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verification, among others. In this paper, we consider a subset of Erlang, a functional and concurrent programming language based on the actor model. We present a formal semantics for reversible computation in this language and prove its main properties, including its causal consistency. We also build on top of it a rollback operator that can be used to undo the actions of a process up to a given checkpoint. (C) 2018 Elsevier Inc. All rights reserved. es_ES
dc.description.sponsorship This work has been partially supported by MINECO/AEI/FEDER (EU) under grants TIN2013-44742-C4-1-R and TIN2016-76843-C4-1-R, by the Generalitat Valenciana under grant PROMETEO-II/2015/013 (SmartLogic), by the COST Action IC1405 on Reversible Computation-extending horizons of computing, and by JSPS KAKENHI Grant Number JP17H01722. Adrian Palacios was partially supported by the EU (FEDER) and the Spanish Ayudas para contratos predoctorales para la formacian de doctores and Ayudas a la movilidad predoctoral para la realtzacion de estancias breves en centros de I+D, MINECO (SEIDI), under FPI grants BES-2014-069749 and EEBB-I-16-11469. Ivan Lanese was partially supported by INdAM as a member of GNCS (Gruppo Nazionale per il Calcolo Scientifico). Part of this research was done while the third and fourth authors were visiting Nagoya and Bologna Universities; they gratefully acknowledge their hospitality. Finally, we thank Salvador Tamarit and the anonymous reviewers for their helpful suggestions and comments. es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Journal of Logical and Algebraic Methods in Programming es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Reversible computation es_ES
dc.subject Actor model es_ES
dc.subject Concurrency es_ES
dc.subject Rollback recovery es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A theory of reversibility for Erlang es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.jlamp.2018.06.004 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/COST//IC1405/EU/Reversible computation - extending horizons of computing/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//TIN2016-76843-C4-1-R/ES/Métodos rigurosos para el Internet del futuro/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/JSPS//JP17H01722/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//EEBB-I-16-11469/ES/EEBB-I-16-11469/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//BES-2014-069749/ES/BES-2014-069749/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//TIN2016-76843-C4-1-R/ES/METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Lanese, I.; Nishida, N.; Palacios, A.; Vidal, G. (2018). A theory of reversibility for Erlang. Journal of Logical and Algebraic Methods in Programming. 100:71-97. https://doi.org/10.1016/j.jlamp.2018.06.004 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1016/j.jlamp.2018.06.004 es_ES
dc.description.upvformatpinicio 71 es_ES
dc.description.upvformatpfin 97 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 100 es_ES
dc.relation.pasarela S\375160 es_ES
dc.contributor.funder European Commission es_ES
dc.contributor.funder European Cooperation in Science and Technology es_ES
dc.contributor.funder Generalitat Valenciana es_ES
dc.contributor.funder Ministerio de Economía y Empresa es_ES
dc.contributor.funder Ministerio de Economía y Competitividad es_ES
dc.contributor.funder Japan Society for the Promotion of Science es_ES
dc.contributor.funder Istituto Nazionale di Alta Matematica "F. Severi", Italia es_ES


This item appears in the following Collection(s)

Show simple item record