print

En garde! Unguarded iteration for reversible computation in the delay monad

author
Kaarsgaard, Robin
Veltri, Niccolo
statement of authorship
Robin Kaarsgaard, Niccolò Veltri
source
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
location of publication
Cham
publisher
Springer Nature
year of publication
2019
pages
p. 366-384
series
Notes in computer science book series ; 11825
Programming and software engineering ; 11825
conference name, date
MPC 2019 : 13th International Conference on Mathematics of Program Construction, October 7–9, 2019
conference location
Porto, Portugal
url
https://doi.org/10.1007/978-3-030-33636-3_13
subject term
programmeerimiskeeled
programmeerimine
monaadid
keyword
reversible computation
iteration
delay monad
ISSN
0302-9743
ISBN
978-3-030-33635-6
notes
Bibliogr.: 41 ref
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Kaarsgaard, R., Veltri, N. En garde! Unguarded iteration for reversible computation in the delay monad // Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings. Cham : Springer Nature, 2019. p. 366-384. (Notes in computer science book series ; 11825, Programming and software engineering ; 11825). https://doi.org/10.1007/978-3-030-33636-3_13