Reversible representation and manipulation of constructor terms in the heap
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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 | |
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 |
---|---|
Nummer | 5 |
Land | Canada |
By | Victoria |
Periode | 04/07/2013 → 05/07/2013 |
Series | Lecture notes in computer science |
---|---|
Volume | 7948 |
ISSN | 0302-9743 |
- Faculty of Science - data structures, memory management, reversible programming
Research areas
ID: 45827890