The lifeness property of on-the-fly garbage collector - a proof

DOI10.1016/0020-0190(83)90039-XzbMath0519.68039MaRDI QIDQ1054471

J. Blot

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

temporal logicconcurrent programmingcorrectness of programsgarbage collector

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item
• The Hoare logic of concurrent programs
• Verifying properties of parallel programs
• An exercise in proving parallel programs correct
• On-the-fly garbage collection

This page was built for publication: The lifeness property of on-the-fly garbage collector - a proof