@article{FnT:SA20,
 author = {Bor-Yuh Evan Chang and Cezara Dragoi and Roman Manevich and Noam Rinetzky and Xavier Rival},
 title = {Shape Analysis},
 url = {http://dx.doi.org/10.1561/2500000037},
 year = {2020},
 volume = {6},
 journal = {Foundations and Trends in Programming Languages},
 doi = {10.1561/2500000037},
 issn = {2325-1107},
 number = {1-2},
 pages = {1-158},
}