Reversible computing from a programming language perspective (extended abstract)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Standard
Reversible computing from a programming language perspective (extended abstract). / Glück, Robert.
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Vol. 2 Springer VS, 2020. p. 410-412 (Lecture Notes in Computer Science, Vol. 12233).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Harvard
Glück, R 2020, Reversible computing from a programming language perspective (extended abstract). in Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. vol. 2, Springer VS, Lecture Notes in Computer Science, vol. 12233, pp. 410-412, 3rd World Congress on Formal Methods, FM 2019, Porto, Portugal, 07/10/2019. <https://link.springer.com/content/pdf/bfm:978-3-030-54997-8/6/1.pdf>
APA
Glück, R. (2020). Reversible computing from a programming language perspective (extended abstract). In Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers (Vol. 2, pp. 410-412). Springer VS. Lecture Notes in Computer Science Vol. 12233 https://link.springer.com/content/pdf/bfm:978-3-030-54997-8/6/1.pdf
Vancouver
Glück R. Reversible computing from a programming language perspective (extended abstract). In Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Vol. 2. Springer VS. 2020. p. 410-412. (Lecture Notes in Computer Science, Vol. 12233).
Author
Bibtex
@inproceedings{71422a3740fe40cb981c92d5e75dd607,
title = "Reversible computing from a programming language perspective (extended abstract)",
author = "Robert Gl{\"u}ck",
year = "2020",
language = "English",
volume = "2",
series = "Lecture Notes in Computer Science",
publisher = "Springer VS",
pages = "410--412",
booktitle = "Formal Methods. FM 2019 International Workshops",
note = "3rd World Congress on Formal Methods, FM 2019 ; Conference date: 07-10-2019 Through 11-10-2019",
}
RIS
TY - GEN
T1 - Reversible computing from a programming language perspective (extended abstract)
AU - Glück, Robert
PY - 2020
Y1 - 2020
M3 - Article in proceedings
VL - 2
T3 - Lecture Notes in Computer Science
SP - 410
EP - 412
BT - Formal Methods. FM 2019 International Workshops
PB - Springer VS
T2 - 3rd World Congress on Formal Methods, FM 2019
Y2 - 7 October 2019 through 11 October 2019
ER -
ID: 249395658