scientific article; zbMATH DE number 1759448

MaRDI QIDQ4536398zbMATH OpenFDO

Authors Leonor Prensa Nieto, Javier Esparza

Publication date 8 October 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An incremental garbage collection algorithm for multi-mutator systems
• Formal Verification of an Incremental Garbage Collector
• Verifying a concurrent garbage collector with a rely-guarantee methodology
• Simple concurrent garbage collection almost without synchronization
• A verified generational garbage collector for CakeML

Cited in

(9)

• An incremental garbage collection algorithm for multi-mutator systems
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Formal Verification of an Incremental Garbage Collector
• A verified generational garbage collector for CakeML
• A verified generational garbage collector for CakeML
• Simple concurrent garbage collection almost without synchronization
• Concurrent IMP
• Fine-grained concurrency with separation logic
• Lock-free parallel and concurrent garbage collection by mark\&sweep

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication:

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