Hierarchical shape abstraction for analysis of free list memory allocators

DOI10.1007/978-3-319-63139-4_9zbMath1485.68063arXiv1608.05676OpenAlexW2515904313MaRDI QIDQ2409733

Mihaela Sighireanu, Bin Fang

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.05676

Mathematics Subject Classification ID

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