Paper: A Logic for Locally Complete Abstract Interpretations (at LICS 2021)
Authors: Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato
Abstract
No Abstract Available
BibTeX
@InProceedings{BruniGiacobazziGori-ALogicforLocallyCom, author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato}, title = {A Logic for Locally Complete Abstract Interpretations}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }