Analyzing String Buffers in C

DOI10.1007/3-540-45719-4_25zbMath1275.68060OpenAlexW1607645463MaRDI QIDQ2996136

Axel Simon, Andy King

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/13750/1/AnaSim.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Splitting the Control Flow with Boolean Flags ⋮ The two variable per inequality abstract domain ⋮ Speeding up Polyhedral Analysis by Identifying Common Constraints

This page was built for publication: Analyzing String Buffers in C