Reversible representation and manipulation of constructor terms in the heap

Holger Bock Axelsen; Robert Glück

doi:10.1007/978-3-642-38986-3_9

Reversible representation and manipulation of constructor terms in the heap

Holger Bock Axelsen, Robert Glück

12 Citations (Scopus)

Abstract

We currently have limited understanding of how complex data (e.g. algebraic data types) can be represented and manipulated in reversible machine code, in particular without generating garbage. In this paper we present methods for representing and manipulating binary trees (constructor terms) in the heap of a reversible machine. We also give methods for enforcing the so-called first-match policy for a simplified version of the recent reversible functional language RFUN by Yokoyama et al., and simple methods to support let-calls via stack environments.

Original language	English
Title of host publication	Reversible Computation. Proceedings
Editors	Gerhard W. Dueck, D. Michael Miller
Number of pages	14
Publisher	Springer
Publication date	2013
Pages	96-109
ISBN (Print)	978-3-642-38985-6
ISBN (Electronic)	978-3-642-38986-3
DOIs	https://doi.org/10.1007/978-3-642-38986-3_9
Publication status	Published - 2013
Event	5th International Conference on Reversible Computation - Victoria, Canada Duration: 4 Jul 2013 → 5 Jul 2013 Conference number: 5

Conference

Conference	5th International Conference on Reversible Computation
Number	5
Country/Territory	Canada
City	Victoria
Period	04/07/2013 → 05/07/2013

Series	Lecture notes in computer science
Volume	7948
ISSN	0302-9743

Keywords

Faculty of Science
data structures
memory management
reversible programming

Access to Document

10.1007/978-3-642-38986-3_9

Cite this

Reversible representation and manipulation of constructor terms in the heap. / Axelsen, Holger Bock; Glück, Robert.
Reversible Computation. Proceedings. ed. / Gerhard W. Dueck; D. Michael Miller. Springer, 2013. p. 96-109 (Lecture notes in computer science, Vol. 7948).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Axelsen, HB & Glück, R 2013, Reversible representation and manipulation of constructor terms in the heap. in GW Dueck & DM Miller (eds), Reversible Computation. Proceedings. Springer, Lecture notes in computer science, vol. 7948, pp. 96-109, 5th International Conference on Reversible Computation, Victoria, Canada, 04/07/2013. https://doi.org/10.1007/978-3-642-38986-3_9

@inproceedings{05c086bf7ef64457969d448dabce66c3,

title = "Reversible representation and manipulation of constructor terms in the heap",

abstract = "We currently have limited understanding of how complex data (e.g. algebraic data types) can be represented and manipulated in reversible machine code, in particular without generating garbage. In this paper we present methods for representing and manipulating binary trees (constructor terms) in the heap of a reversible machine. We also give methods for enforcing the so-called first-match policy for a simplified version of the recent reversible functional language RFUN by Yokoyama et al., and simple methods to support let-calls via stack environments.",

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",

note = "5th International Conference on Reversible Computation ; Conference date: 04-07-2013 Through 05-07-2013",

}

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

N2 - We currently have limited understanding of how complex data (e.g. algebraic data types) can be represented and manipulated in reversible machine code, in particular without generating garbage. In this paper we present methods for representing and manipulating binary trees (constructor terms) in the heap of a reversible machine. We also give methods for enforcing the so-called first-match policy for a simplified version of the recent reversible functional language RFUN by Yokoyama et al., and simple methods to support let-calls via stack environments.

AB - We currently have limited understanding of how complex data (e.g. algebraic data types) can be represented and manipulated in reversible machine code, in particular without generating garbage. In this paper we present methods for representing and manipulating binary trees (constructor terms) in the heap of a reversible machine. We also give methods for enforcing the so-called first-match policy for a simplified version of the recent reversible functional language RFUN by Yokoyama et al., and simple methods to support let-calls via stack environments.

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

T2 - 5th International Conference on Reversible Computation

Y2 - 4 July 2013 through 5 July 2013

ER -

Reversible representation and manipulation of constructor terms in the heap

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this