Shape Analysis

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]

Authors

Bor-Yuh Evan Chang

This author has not been identified. Look up 'Bor-Yuh Evan Chang' in Google

Cezara Dragoi

This author has not been identified. Look up 'Cezara Dragoi' in Google

Roman Manevich

This author has not been identified. Look up 'Roman Manevich' in Google

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google

Xavier Rival

This author has not been identified. Look up 'Xavier Rival' in Google