Reference count analysis with shallow aliasing

DOI10.1016/j.ipl.2010.08.003zbMath1260.68232OpenAlexW2063742843MaRDI QIDQ1944038

G. Ramalingam, Akash Lal

Publication date: 4 April 2013

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

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.08.003

zbMATH Keywords

formal methodsstatic analysisprogram correctnessalias analysisaffine-relation analysistypestate verification

Mathematics Subject Classification ID

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

Cites Work

• Affine relationships among variables of a program
• Typestate verification: abstraction techniques and complexity results
• Precise interprocedural analysis through linear algebra
• Verifying Reference Counting Implementations
• On the complexity of flow-sensitive dataflow analyses

This page was built for publication: Reference count analysis with shallow aliasing