A logic for locally complete abstract interpretations
Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta ; Ranzato, Francesco
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
Piscataway, NJ, USA: IEEE Press
Sem texto completo