RelRL accepted at TOPLAS
Anindya Banerjee, Ramana Nagasamudram, David Naumann and Mohammad Nikouei’s paper “A Relational Program Logic with Data Abstraction and Dynamic Framing” has been accepted at TOPLAS!
Anindya Banerjee, Ramana Nagasamudram, David Naumann and Mohammad Nikouei’s paper “A Relational Program Logic with Data Abstraction and Dynamic Framing” has been accepted at TOPLAS!