Shape Analysis (Foundations and Trends® in Programming Languages) (en Inglés)

Bor-Yuh Evan Chang; Cezara Dragoi; Roman Manevich · Now Publishers Inc