Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
2016 ◽
Vol 38
(2)
◽
pp. 1-72
◽
2018 ◽
Vol 336
◽
pp. 57-78
◽
2008 ◽
Vol 218
◽
pp. 371-389
◽
Keyword(s):
2007 ◽
Vol 29
(5)
◽
pp. 24
◽