Shape Analysis
Chang, Bor-Yuh Evan ; Drăgoi, Cezara ; Manevich, Roman ; Rinetzky, Noam ; Rival, Xavier
Foundations and trends in programming languages, 2020-01, Vol.6 (1-2), p.1-158
[Periódico revisado por pares]
Boston - Delft: Now Publishers
Texto completo disponível