Reversible Representation and Manipulation of Constructor Terms in the Heap

DOI10.1007/978-3-642-38986-3_9zbMath1407.68105OpenAlexW163485984MaRDI QIDQ2868440

Holger Bock Axelsen, Robert Glück

Publication date: 17 December 2013

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38986-3_9

zbMATH Keywords

data structuresmemory managementreversible programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Data structures (68P05)

Related Items (3)

Fundamentals of reversible flowchart languages ⋮ Reversible computing from a programming language perspective ⋮ Garbage Collection for Reversible Functional Languages

This page was built for publication: Reversible Representation and Manipulation of Constructor Terms in the Heap