Sound up-to techniques and Complete abstract domains

DOI10.1145/3209108.3209169zbMath1497.68107arXiv1804.10507OpenAlexW2964318636MaRDI 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

zbMATH Keywords

abstract interpretationcoinduction up-tocomplete abstract domainscross-fertilizationsound up-to techniques

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Convexity via Weak Distributive Laws ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Combining semilattices and semimodules ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Unnamed Item

This page was built for publication: Sound up-to techniques and Complete abstract domains