Constructing Specialized Shape Analyses for Uniform Change

DOI10.1007/978-3-540-69738-1_16zbMATH Open1132.68473OpenAlexW1515173812MaRDI QIDQ5452609

Mooly Sagiv, Tal Lev-Ami, Thomas Reps, Neil Immerman

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (2)

Title not available (Why is that?) ⋮ Intuitive, localized analysis of shape variability

This page was built for publication: Constructing Specialized Shape Analyses for Uniform Change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452609)