MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Parametric Shape Analysis via 3-Valued Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Parametric Shape Analysis via 3-Valued Logic
by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999
…Parametric Shape Analysis via 3-Valued Logic MOOLY SAGIV and THOMAS REPS and REINHARD WILHELM…
Cited by 339 (52 self) – Add To MetaCart

Programs with Recursively Defined Data Structures Using Pointers
by M. Sagiv, M. Schwartzbach, K. Weihe, K. Melhorn, M. Sagiv (tel Aviv, M. Schwartzbach (aarhus, K. Weihe (konstanz, K. Mehlhorn (saarbrucken — 1998
… 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 ⋆
by Alexey Loginov, Thomas Reps, Mooly Sagiv
… 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

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB