Sound up-to techniques and Complete abstract domains
From MaRDI portal
Publication:5145290
DOI10.1145/3209108.3209169zbMath1497.68107arXiv1804.10507MaRDI QIDQ5145290
Roberto Giacobazzi, Dusko Pavlovic, Filippo Bonchi, Pierre Ganty
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.10507
abstract interpretation; coinduction up-to; complete abstract domains; cross-fertilization; sound up-to techniques
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Convexity via Weak Distributive Laws, Up-To Techniques for Behavioural Metrics via Fibrations, Combining semilattices and semimodules