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 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

Beyond Local Reasoning for Stereo Confidence Estimation with Deep Learning

2018 ◽  
pp. 323-338 ◽  
Author(s):  
Fabio Tosi ◽  
Matteo Poggi ◽  
Antonio Benincasa ◽  
Stefano Mattoccia
Keyword(s):  
Deep Learning ◽  
Confidence Estimation ◽  
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

After Modernism: Local Reasoning, Consumption, and Governance

2007 ◽  
pp. 165-190 ◽  
Author(s):  
Mark Bevir ◽  
Frank Trentmann
Keyword(s):  
Local Reasoning
Sign in / Sign up

Export Citation Format

Share Document