Continuous Reasoning

DOI10.1145/3209108.3209109zbMath1497.68082OpenAlexW2810768857MaRDI QIDQ5145272

Peter W. O'Hearn

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://doi.org/10.1145/3209108.3209109

zbMATH Keywords

reasoningcontinuous integration

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (6)

Verified cryptographic code for everybody ⋮ Limits and difficulties in the design of under-approximation abstract domains ⋮ Symbolic computation in automated program reasoning ⋮ Unnamed Item ⋮ Incremental Abstract Interpretation ⋮ Bridging arrays and ADTs in recursive proofs

This page was built for publication: Continuous Reasoning