Searching for "Parametric shape analysis via 3-valued logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Parametric Shape Analysis via 3-Valued Logic
- …Parametric Shape Analysis via 3-Valued Logic MOOLY SAGIV and THOMAS REPS and REINHARD WILHELM…
- Cited by 361 (53 self) – Add To MetaCart
-
Programs with Recursively Defined Data Structures Using Pointers
- … Analysis via 3-Valued Logic 11:35--12:10 Martin Trapp: Heap--SSA 12:10--12:20 Discussion of the Last Two…
- Add To MetaCart
-
Refinement-Based Verification for Possibly-Cyclic Lists ⋆
- … Logic In this section, we give a brief overview of the framework of parametric shape analysis via 3…
- Cited by 1 (1 self) – Add To MetaCart
-
Partially Disjunctive Shape Analysis
- … of the theory of parametric shape analysis via 3-valued logic [SRW02] in Chapter 2. In this framework, concrete…
- Add To MetaCart
Showing 1 through 4.
