Abstract predicate entailment over points-to heaplets is syntax recognition.

Ren Haberland, Kirill Krinkin, Sergey Ivanovskiy

Browse the full FRUCT paper archive.