Searching for authors named "Josh Berdine" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
General Terms
- …Draft Paper, November 11, 2005 Modular Automatic Assertion Checking with Separation Logic Josh…
- Add To MetaCart
-
Interprocedural shape analysis with separated heap abstractions
- …Interprocedural Shape Analysis with Separated Heap Abstractions Alexey Gotsman 1 , Josh Berdine 2…
- Cited by 28 (5 self) – Add To MetaCart
-
Thread-modular shape analysis
- … Josh Berdine Microsoft Research jjb@(email omitted); Abstract We present the first shape analysis…
- Cited by 18 (10 self) – Add To MetaCart
-
Variance analyses from invariance analyses
- …Abstract Josh Berdine Microsoft Research jjb@(email omitted); Variance Analyses from Invariance…
- Cited by 12 (2 self) – Add To MetaCart
-
Linear Continuation-Passing
- …Linear Continuation-Passing Josh Berdine and Peter O'Hearn ( fberdine, ohearng…
- Add To MetaCart
-
Extracting the Range of cps from Affine Typing
- …Extracting the Range of cps from Ane Typing Extended Abstract Josh Berdine, Peter W. O…
- Add To MetaCart
-
Strong update, disposal and encapsulation in bunched typing
- …MFPS 2006 Strong Update, Disposal, and Encapsulation in Bunched Typing Abstract Josh Berdine…
- Cited by 4 (0 self) – Add To MetaCart
-
A Decidable Fragment of Separation Logic
- …A Decidable Fragment of Separation Logic Josh Berdine 1 , Cristiano Calcagno 2 , and Peter O…
- Cited by 38 (6 self) – Add To MetaCart
-
Arithmetic Strengthening for Shape Analysis ⋆
- …Arithmetic Strengthening for Shape Analysis ⋆ Stephen Magill 1 , Josh Berdine 2 , Edmund Clarke 1…
- Cited by 4 (2 self) – Add To MetaCart
-
Structuring the verification of
- … Josh Berdine {aleksn, viktorva, jjb}@(email omitted); Microsoft Research July 2009 Technical Report MSR…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
