Garbage Collection for Reversible Functional Languages

DOI10.1007/978-3-319-20860-2_5MaRDI QIDQ2822492zbMATH OpenOpenAlexFDO

Authors Torben Ægidius Mogensen

Publication date 30 September 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20860-2_5

Mathematics Subject Classification ID

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

Recommendations

• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Concurrent garbage collection for concurrent rewriting
• Towards a reversible functional language
• A fully concurrent garbage collector for functional programs on multicore processors
• Adjunction for Garbage Collection with Application to Graph Rewriting
• scientific article; zbMATH DE number 177786
• Program logic and equivalence in the presence of garbage collection.
• Term graph rewriting and garbage collection using opfibrations

Cites work

• 3.5-Way Cuckoo Hashing for the Price of 2-and-a-Bit
• Cuckoo hashing
• scientific article; zbMATH DE number 1301967 (Why is no real title available?)
• On programming of arithmetic operations
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• Towards a reversible functional language

Cited in

(8)

• Data structures and dynamic memory management in reversible languages
• Reversible object-oriented programming with region-based memory management (work in progress report)
• Towards a reversible functional language
• A fully concurrent garbage collector for functional programs on multicore processors
• RSSA: A Reversible SSA Form
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection
• CRIL: a concurrent reversible intermediate language

Describes a project that uses

Uses Software

• Theseus

This page was built for publication: Garbage Collection for Reversible Functional Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822492)