Formal Derivation of Concurrent Garbage Collectors

DOI10.1007/978-3-642-13321-3_20zbMath1286.68090arXiv1006.4342OpenAlexW2109524688MaRDI QIDQ3575280

Peter Pepper, Douglas R. Smith, Dusko Pavlovic

Publication date: 26 July 2010

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

Full work available at URL: https://arxiv.org/abs/1006.4342

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Developments in concurrent Kleene algebra, Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example, Smooth coalgebra: testing vector analysis, From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract), A verified generational garbage collector for CakeML, A verified generational garbage collector for CakeML, Verifying a concurrent garbage collector with a rely-guarantee methodology