Predicate Abstraction for Linked Data Structures

DOI10.1007/978-3-662-49122-5_3zbMath1475.68176arXiv1505.02298OpenAlexW1684329984MaRDI QIDQ2796037

Alexander Bakst, Ranjit Jhala

Publication date: 23 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (1)

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

This page was built for publication: Predicate Abstraction for Linked Data Structures