School of Comp. Sci., Tel-Aviv University THOMAS REPS Comp. Sci. Dept.,...  Home/Search
Context
Related
| wisc.edu/wpis/papers/tocl07.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: wisc.edu/wpis/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we show how 3-valued structures that arise in shape analysis can be characterized using formulas in first-order logic with transitive closure. We also define a non-standard ("supervaluational") semantics for 3-valued first-order logic that is more precise than a conventional 3-valued semantics, and demonstrate that the supervaluational semantics can be implemented using existing theorem provers (Update)
Active bibliography (related documents): More All
0.0: Detecting Memory Errors via Static Pointer Analysis - Dor (1999) (Correct)
0.0: Specialization Tools and Techniques for Systematic .. - McNamee, Walpole, .. (2001) (Correct)
0.0: Static Program Analysis via 3-Valued Logic - Thomas Reps Mooly (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "unknown",
url = "citeseer.ist.psu.edu/762620.html" }
Citations (may not include all citations):45 Partial logic (context) - BLAMEY - 2002
40 A decidable logic for describing linked data structures - BENEDIKT, REPS et al. - 1999
26 Binding-time analysis and the taming of C pointers - ANDERSEN - 1993
1 Generalized model checking: Reasoning about partial state sp.. (context) - Publishers, BRUNS et al. - 2000
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC