prindi

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

autor
Kaarsgaard, Robin
Veltri, Niccolo
vastutusandmed
Robin Kaarsgaard, Niccolò Veltri
allikas
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2019
leheküljed
p. 366-384
seeria-sari
Notes in computer science book series ; 11825
Programming and software engineering ; 11825
konverentsi nimetus, aeg
MPC 2019 : 13th International Conference on Mathematics of Program Construction, October 7–9, 2019
konverentsi toimumispaik
Porto, Portugal
leitav
https://doi.org/10.1007/978-3-030-33636-3_13
märksõna
programmeerimiskeeled
programmeerimine
monaadid
võtmesõna
reversible computation
iteration
delay monad
ISSN
0302-9743
ISBN
978-3-030-33635-6
märkused
Bibliogr.: 41 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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