Automatic analysis of pointer aliasing for untyped programs
From MaRDI portal
Publication:1818078
DOI10.1016/S0167-6423(99)00012-XzbMath0948.68018OpenAlexW1983820815MaRDI QIDQ1818078
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00012-x
Related Items (3)
Generalised multi-pattern-based verification of programs with linear linked structures ⋮ Abstract interpretation of graphs ⋮ Quantitative static analysis of communication protocols using abstract Markov chains
This page was built for publication: Automatic analysis of pointer aliasing for untyped programs