Verifying Reference Counting Implementations

DOI10.1007/978-3-642-00768-2_30MaRDI QIDQ3617768zbMATH OpenOpenAlexFDO

Authors Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_30

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reference count analysis with shallow aliasing
• A construction of distributed reference counting
• Cyclic reference counting
• New Algorithms and Applications of Cyclic Reference Counting
• scientific article; zbMATH DE number 1728241

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1979541 (Why is no real title available?)
• scientific article; zbMATH DE number 1759597 (Why is no real title available?)
• A framework for numeric analysis of array operations
• A methodology for hardware verification using compositional model checking
• Abstractions from proofs
• Array Abstractions from Proofs
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Grammar Analysis and Parsing by Abstract Interpretation
• Lazy abstraction
• Predicate abstraction for software verification
• Static Analysis
• Temporal verification of reactive systems: response
• Verification, Model Checking, and Abstract Interpretation
• Verifying safety properties of concurrent Java programs using 3-valued logic

Cited in

(5)

• The space cost of lazy reference counting
• A construction of distributed reference counting
• Automatic Verification of Directory-Based Consistency Protocols
• Reference count analysis with shallow aliasing
• New Algorithms and Applications of Cyclic Reference Counting

Describes a project that uses

Uses Software

• Smallfoot
• ESC/Java
• Spec#
• SLAM
• BLAST

This page was built for publication: Verifying Reference Counting Implementations

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