Hierarchical shape abstraction for analysis of free list memory allocators
From MaRDI portal
Publication:2409733
DOI10.1007/978-3-319-63139-4_9zbMath1485.68063arXiv1608.05676OpenAlexW2515904313MaRDI QIDQ2409733
Publication date: 13 October 2017
Full work available at URL: https://arxiv.org/abs/1608.05676
Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Hierarchical shape abstraction for analysis of free list memory allocators