A mechanically verified incremental garbage collector
type: Item
instance of: scholarly article
title: A mechanically verified incremental garbage collector
zbMATH Open document ID: 0941.68624
DOI: 10.1007/BF01211305
author: David M. Russinoff
published in: Formal Aspects of Computing
publication date: 1996-02-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 672026
describes a project that uses: NQTHM
describes a project that uses: LISP
MaRDI profile type: Publication
cites work: Algorithms for on-the-fly garbage collection
cites work: Q4016540
cites work: Q3894958
cites work: On-the-fly garbage collection
cites work: Q3939208
cites work: Adequate proof principles for invariance and liveness properties of concurrent programs
cites work: An incremental garbage collection algorithm for multi-mutator systems
cites work: A verification system for concurrent programs based on the Boyer-Moore prover
cites work: Q3997095
full work available at URL: https://doi.org/10.1007/bf01211305
OpenAlex ID: W2092767796
description: scientific article; zbMATH DE number 672026