Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival. Shape Analysis. Foundations and Trends in Programming Languages, 6(1-2):1-158, 2020. [doi]
@article{ChangDMRR20, title = {Shape Analysis}, author = {Bor-Yuh Evan Chang and Cezara Dragoi and Roman Manevich and Noam Rinetzky and Xavier Rival}, year = {2020}, doi = {10.1561/2500000037}, url = {https://doi.org/10.1561/2500000037}, researchr = {https://researchr.org/publication/ChangDMRR20}, cites = {0}, citedby = {0}, journal = {Foundations and Trends in Programming Languages}, volume = {6}, number = {1-2}, pages = {1-158}, }