scholarly journals Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store

2021 ◽  
Author(s):  
Sergey Goncharov
Keyword(s):  
Local Reasoning

scholarly journals Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

2014 ◽  
Vol 308 ◽  
pp. 147-166 ◽  
Author(s):  
Philippa Gardner ◽  
Azalea Raad ◽  
Mark Wheelhouse ◽  
Adam Wright
Keyword(s):  
Local Reasoning

scholarly journals On Local Reasoning in Verification

2008 ◽  
pp. 265-281 ◽  
Author(s):  
Carsten Ihlemann ◽  
Swen Jacobs ◽  
Viorica Sofronie-Stokkermans
Keyword(s):  
Local Reasoning

scholarly journals Local Reasoning about Data Update

2007 ◽  
Vol 172 ◽  
pp. 133-175 ◽  
Author(s):  
Cristiano Calcagno ◽  
Philippa Gardner ◽  
Uri Zarfaty
Keyword(s):  
Local Reasoning ◽  
Data Update

An adaptation-complete proof system for local reasoning about cloud storage systems

2021 ◽  
Author(s):  
Zhao Jin ◽  
Bowen Zhang ◽  
Lei Zhang ◽  
Yongzhi Cao ◽  
Hanpin Wang
Keyword(s):  
Cloud Storage ◽  
Storage Systems ◽  
Proof System ◽  
Complete Proof ◽  
Local Reasoning
Sign in / Sign up

Export Citation Format

Share Document