Specifying concurrent programs in separation logic: Morphisms and simulations
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas[doi] [Google Scholar] [DBLP] [Citeseer]
Proc. ACM Program. Lang.
3(OOPSLA)
Association for Computing Machinery
New York, NY, USA
October 2019
Topic(s): types verification
Note(s): dependent type, permission logic, separation logic
Association for Computing Machinery
New York, NY, USA
October 2019
Topic(s): types verification
Note(s): dependent type, permission logic, separation logic