- -

A theory of reversibility for Erlang

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

A theory of reversibility for Erlang

Mostrar el registro completo del ítem

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

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

Ficheros en el ítem

Thumbnail
Nombre: Lanese;Nishida;Pa ...
Tamaño: 682.3Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: published.pdf
Tamaño: 877.1Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: A theory of reversibility for Erlang
Autor: Lanese, Ivan Nishida, Naoki Palacios, Adrián Vidal, Germán
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[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 ...[+]
Palabras clave: Reversible computation , Actor model , Concurrency , Rollback recovery
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Fuente:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2018.06.004
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.jlamp.2018.06.004
Código del Proyecto:
info:eu-repo/grantAgreement/COST//IC1405/EU/Reversible computation - extending horizons of computing/
...[+]
info:eu-repo/grantAgreement/COST//IC1405/EU/Reversible computation - extending horizons of computing/
info:eu-repo/grantAgreement/MINECO//TIN2016-76843-C4-1-R/ES/Métodos rigurosos para el Internet del futuro/
info:eu-repo/grantAgreement/JSPS//JP17H01722/
info:eu-repo/grantAgreement/MINECO//EEBB-I-16-11469/ES/EEBB-I-16-11469/
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/
info:eu-repo/grantAgreement/MINECO//BES-2014-069749/ES/BES-2014-069749/
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
info:eu-repo/grantAgreement/MINECO//TIN2016-76843-C4-1-R/ES/METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/
[-]
Agradecimientos:
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 ...[+]
Tipo: Artículo

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem