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]

Authors

Kenji Maillard

This author has not been identified. Look up 'Kenji Maillard' in Google

Catalin Hritcu

This author has not been identified. Look up 'Catalin Hritcu' in Google

Exequiel Rivas

This author has not been identified. Look up 'Exequiel Rivas' in Google

Antoine Van Muylder

This author has not been identified. Look up 'Antoine Van Muylder' in Google