Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
Article in Proceedings of the ACM on Programming Languages (January 2024)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Article in Proceedings of the ACM on Programming Languages (January 2024)
Book chapter (November 2018)
Article in Theoretical Computer Science (December 1994)