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]
@inproceedings{HaberlandKI16, title = {Abstract predicate entailment over points-to heaplets is syntax recognition}, author = {Rene Haberland and Kirill Krinkin and Sergey Ivanovskiy}, year = {2016}, doi = {10.1109/FRUCT-ISPIT.2016.7561510}, url = {http://dx.doi.org/10.1109/FRUCT-ISPIT.2016.7561510}, researchr = {https://researchr.org/publication/HaberlandKI16}, cites = {0}, citedby = {0}, pages = {66-74}, booktitle = {17th Conference of Open Innovations Association FRUCT, Yaroslavl, Russia, April 20-24, 2015}, publisher = {IEEE}, isbn = {978-5-7577-0493-7}, }