Verifying a concurrent garbage collector using a rely-guarantee methodology
type: Item
instance of: scholarly article
title: Verifying a concurrent garbage collector using a rely-guarantee methodology
zbMATH Open document ID: 1468.68067
DOI: 10.1007/978-3-319-66107-0_31
author: Yannick Zakowski
author: David Cachera
author: Delphine Demange
author: Gustavo Petri
author: David Pichardie
author: Suresh Jagannathan
author: Jan Vitek
publication date: 2018-01-04T00:00:00Z
full work available at URL: itp17.pdf
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6821870
describes a project that uses: Coq
MaRDI profile type: Publication
OpenAlex ID: W2747080245
cites work: On-the-fly garbage collection
cites work: A calculus of atomic actions
cites work: Automated verification of practical garbage collectors
cites work: Tentative steps toward a development method for interfering programs
cites work: A certified framework for compiling and executing garbage-collected languages
cites work: Q4417904
cites work: Concurrent Separation Logic and Operational Semantics
cites work: A Marriage of Rely/Guarantee and Separation Logic
description: scientific article; zbMATH DE number 6821870