The next 700 relational program logics

Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder. The next 700 relational program logics. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

No reviews for this publication, yet.