MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES

DOI10.1142/S0129054113400078zbMath1286.68304MaRDI QIDQ2841994

Jonathan Cederberg, Tomáš Vojnar, Parosh Aziz Abdulla

Publication date: 30 July 2013

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

shape analysisprogram verificationmonotonic abstractiondynamic multiply-linked data structures

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Well (and Better) Quasi-Ordered Transition Systems