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 publication is shown below. View this citation on Dimensions.
Article in Proceedings of the ACM on Programming Languages (January 2024)