Standard
Reversible representation and manipulation of constructor terms in the heap. / Axelsen, Holger Bock; Glück, Robert.
Reversible Computation. Proceedings. red. / Gerhard W. Dueck; D. Michael Miller. Springer, 2013. s. 96-109 (Lecture notes in computer science, Bind 7948).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Axelsen, HB
& Glück, R 2013,
Reversible representation and manipulation of constructor terms in the heap. i GW Dueck & DM Miller (red),
Reversible Computation. Proceedings. Springer, Lecture notes in computer science, bind 7948, s. 96-109, 5th International Conference on Reversible Computation, Victoria, Canada,
04/07/2013.
https://doi.org/10.1007/978-3-642-38986-3_9APA
Axelsen, H. B.
, & Glück, R. (2013).
Reversible representation and manipulation of constructor terms in the heap. I G. W. Dueck, & D. M. Miller (red.),
Reversible Computation. Proceedings (s. 96-109). Springer. Lecture notes in computer science Bind 7948
https://doi.org/10.1007/978-3-642-38986-3_9Vancouver
Axelsen HB
, Glück R.
Reversible representation and manipulation of constructor terms in the heap. I Dueck GW, Miller DM, red., Reversible Computation. Proceedings. Springer. 2013. s. 96-109. (Lecture notes in computer science, Bind 7948).
https://doi.org/10.1007/978-3-642-38986-3_9Author
Axelsen, Holger Bock ; Glück, Robert. / Reversible representation and manipulation of constructor terms in the heap. Reversible Computation. Proceedings. red. / Gerhard W. Dueck ; D. Michael Miller. Springer, 2013. s. 96-109 (Lecture notes in computer science, Bind 7948).
Bibtex
@inproceedings{05c086bf7ef64457969d448dabce66c3,
title = "Reversible representation and manipulation of constructor terms in the heap",
keywords = "Faculty of Science, data structures, memory management, reversible programming",
author = "Axelsen, {Holger Bock} and Robert Gl{\"u}ck",
year = "2013",
doi = "10.1007/978-3-642-38986-3_9",
language = "English",
isbn = "978-3-642-38985-6",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "96--109",
editor = "Dueck, {Gerhard W.} and Miller, {D. Michael}",
booktitle = "Reversible Computation. Proceedings",
address = "Switzerland",
note = "null ; Conference date: 04-07-2013 Through 05-07-2013",
}
RIS
TY - GEN
T1 - Reversible representation and manipulation of constructor terms in the heap
AU - Axelsen, Holger Bock
AU - Glück, Robert
N1 - Conference code: 5
PY - 2013
Y1 - 2013
KW - Faculty of Science
KW - data structures
KW - memory management
KW - reversible programming
U2 - 10.1007/978-3-642-38986-3_9
DO - 10.1007/978-3-642-38986-3_9
M3 - Article in proceedings
SN - 978-3-642-38985-6
T3 - Lecture notes in computer science
SP - 96
EP - 109
BT - Reversible Computation. Proceedings
A2 - Dueck, Gerhard W.
A2 - Miller, D. Michael
PB - Springer
Y2 - 4 July 2013 through 5 July 2013
ER -
