Formal models of distributed memory management

DOI10.1145/258948.258975MaRDI QIDQ5348882zbMATH OpenOpenAlexFDO

Authors Christian Ungureanu, Benjamin Goldberg

Publication date 21 August 2017

Published in Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/258948.258975

Mathematics Subject Classification ID

Distributed systems (68M14) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Collecting garbage pages in a distributed shared memory with reduced memory and communication overhead
• Robust, distributed references and acyclic garbage collection
• scientific article; zbMATH DE number 1696614
• scientific article; zbMATH DE number 3997151
• Local reasoning about a copying garbage collector

Cited in

(7)

• scientific article; zbMATH DE number 1696614 (Why is no real title available?)
• scientific article; zbMATH DE number 991779 (Why is no real title available?)
• Local reasoning about a copying garbage collector
• scientific article; zbMATH DE number 1546501 (Why is no real title available?)
• Robust, distributed references and acyclic garbage collection
• A distributed garbage collector with diffusion tree reorganisation and mobile objects
• Collecting garbage pages in a distributed shared memory with reduced memory and communication overhead

This page was built for publication: Formal models of distributed memory management

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