Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ; day:15 ; month:4 ; year:2019 ; pages:1-22
Formal aspects of computing ; (15.4.2019), 1-22
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-019-00482-3
- URN
-
urn:nbn:de:101:1-2019051016435510746758
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jones, Cliff B.
- Yatapanage, Nisansala
- SpringerLink (Online service)
Other Objects (12)
Knowing your garbage collector
Calculating a garbage collector
Embedding Rely-Guarantee Reasoning in Temporal Logic
Linux Tools for Evaluating Your Garbage Collector
Python Memory Management 101: Deeping in Garbage collector
A Verified Generational Garbage Collector for CakeML
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Memory Problems, Did Collector Forgot to Clean the Garbage?
Shenandoah: Why Do We Need Yet Another Garbage Collector
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs : With an application to proving that non-blocking algorithms are bounded lock-free
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Knowing your garbage collector
Calculating a garbage collector
Embedding Rely-Guarantee Reasoning in Temporal Logic
Linux Tools for Evaluating Your Garbage Collector
Python Memory Management 101: Deeping in Garbage collector
A Verified Generational Garbage Collector for CakeML
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Memory Problems, Did Collector Forgot to Clean the Garbage?
Shenandoah: Why Do We Need Yet Another Garbage Collector
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs : With an application to proving that non-blocking algorithms are bounded lock-free
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Knowing your garbage collector
Calculating a garbage collector
Embedding Rely-Guarantee Reasoning in Temporal Logic
Linux Tools for Evaluating Your Garbage Collector
Python Memory Management 101: Deeping in Garbage collector
A Verified Generational Garbage Collector for CakeML
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Memory Problems, Did Collector Forgot to Clean the Garbage?
Shenandoah: Why Do We Need Yet Another Garbage Collector
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs : With an application to proving that non-blocking algorithms are bounded lock-free