A certified study of a reversible programming language

Capitolo di libro

Data di Pubblicazione:

2018

Tipologia CRIS:

02A-Contributo in volume

Elenco autori:

Luca Paolini; Mauro Piccolo; Luca Roversi

Autori di Ateneo:

PAOLINI Luca Luigi

ROVERSI Luca

Link alla scheda completa:

https://iris.unito.it/handle/2318/99058

Link al Full Text:

https://iris.unito.it/retrieve/handle/2318/99058/411577/A%20Certified%20Study%20of%20a%20Reversible%20Programming%20Language%20-%20LIPIcs-TYPES-2015-7.pdf

Titolo del libro:

21st International Conference on Types for Proofs and Programs (TYPES 2015)

Pubblicato in:

LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS

Series

Dati Generali

URL

http://drops.dagstuhl.de/opus/volltexte/2018/8477/