Reference count analysis with shallow aliasing
From MaRDI portal
Publication:1944038
DOI10.1016/j.ipl.2010.08.003zbMath1260.68232MaRDI QIDQ1944038
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
formal methods; static analysis; program correctness; alias analysis; affine-relation analysis; typestate verification
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work