Adjunction for Garbage Collection with Application to Graph Rewriting

DOI10.1007/978-3-540-73449-9_11MaRDI QIDQ5432337zbMATH OpenOpenAlexFDO

Authors Dominique Duval, Rachid Echahed, Frédéric Prost

Publication date 2 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73449-9_11

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Concurrent garbage collection for concurrent rewriting
• Term graph rewriting and garbage collection using opfibrations
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Confluence up to garbage
• Confluence up to garbage in graph transformation

Cited in

(4)

• Term graph rewriting and garbage collection using opfibrations
• Garbage Collection for Reversible Functional Languages
• Modeling pointer redirection as cyclic term-graph rewriting
• Concurrent garbage collection for concurrent rewriting

This page was built for publication: Adjunction for Garbage Collection with Application to Graph Rewriting

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