Local Reasoning for Global Invariants, Part I

Anindya Banerjee; David A. Naumann; Stan Rosenberg

doi:10.1145/2485982

Local Reasoning for Global Invariants, Part I

Journal of the ACM ◽

10.1145/2485982 ◽

2013 ◽

Vol 60 (3) ◽

pp. 1-56 ◽

Cited By ~ 9

Author(s):

Anindya Banerjee ◽

David A. Naumann ◽

Stan Rosenberg

Keyword(s):

Local Reasoning ◽

Global Invariants

Download Full-text

Local Reasoning for Global Invariants, Part II

Journal of the ACM ◽

10.1145/2487241.2485981 ◽

2013 ◽

Vol 60 (3) ◽

pp. 1-73 ◽

Cited By ~ 1

Author(s):

Anindya Banerjee ◽

David A. Naumann

Keyword(s):

Local Reasoning ◽

Global Invariants

Download Full-text

Local Reasoning for Global Invariants, Part II

Journal of the ACM ◽

10.1145/2485981 ◽

2013 ◽

Vol 60 (3) ◽

pp. 1-73 ◽

Cited By ~ 3

Author(s):

Anindya Banerjee ◽

David A. Naumann

Keyword(s):

Local Reasoning ◽

Global Invariants

Download Full-text

Local Reasoning for Global Invariants, Part I

Journal of the ACM ◽

10.1145/2487241.2485982 ◽

2013 ◽

Vol 60 (3) ◽

pp. 1-56 ◽

Cited By ~ 2

Author(s):

Anindya Banerjee ◽

David A. Naumann ◽

Stan Rosenberg

Keyword(s):

Local Reasoning ◽

Global Invariants

Download Full-text

Regional Logic for Local Reasoning about Global Invariants

ECOOP 2008 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70592-5_17 ◽

2008 ◽

pp. 387-411 ◽

Cited By ~ 45

Author(s):

Anindya Banerjee ◽

David A. Naumann ◽

Stan Rosenberg

Keyword(s):

Local Reasoning ◽

Global Invariants

Download Full-text

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2014.10.009 ◽

2014 ◽

Vol 308 ◽

pp. 147-166 ◽

Cited By ~ 3

Author(s):

Philippa Gardner ◽

Azalea Raad ◽

Mark Wheelhouse ◽

Adam Wright

Keyword(s):

Local Reasoning

Download Full-text

Global invariants for analysing multi-threaded applications

Proceedings of the Estonian Academy of Sciences. Physics. Mathematics ◽

10.3176/phys.math.2003.4.05 ◽

2003 ◽

Vol 52 (4) ◽

pp. 413

Author(s):

M Müller-Olm ◽

H Seidl ◽

V Vene

Keyword(s):

Global Invariants

Download Full-text

A Semantic Basis for Local Reasoning

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_28 ◽

2002 ◽

pp. 402-416 ◽

Cited By ~ 45

Author(s):

Hongseok Yang ◽

Peter O’Hearn

Keyword(s):

Local Reasoning

Download Full-text

Beyond Local Reasoning for Stereo Confidence Estimation with Deep Learning

Computer Vision – ECCV 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01231-1_20 ◽

2018 ◽

pp. 323-338 ◽

Cited By ~ 13

Author(s):

Fabio Tosi ◽

Matteo Poggi ◽

Antonio Benincasa ◽

Stefano Mattoccia

Keyword(s):

Deep Learning ◽

Confidence Estimation ◽

Local Reasoning

Download Full-text

Global invariants for measured foliations

Transactions of the American Mathematical Society ◽

10.1090/s0002-9947-1983-0712266-3 ◽

1983 ◽

Vol 280 (1) ◽

pp. 367-367 ◽

Cited By ~ 4

Author(s):

Steven Hurder

Keyword(s):

Global Invariants

Download Full-text

On Local Reasoning in Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_19 ◽

2008 ◽

pp. 265-281 ◽

Cited By ~ 37

Author(s):

Carsten Ihlemann ◽

Swen Jacobs ◽

Viorica Sofronie-Stokkermans

Keyword(s):

Local Reasoning

Download Full-text