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