Rene Haberland, Kirill Krinkin, Sergey Ivanovskiy. Abstract predicate entailment over points-to heaplets is syntax recognition. In 17th Conference of Open Innovations Association FRUCT, Yaroslavl, Russia, April 20-24, 2015. pages 66-74, IEEE, 2016. [doi]
Abstract is missing.