Parametric Shape Analysis via 3-Valued Logic

DMCA

Parametric Shape Analysis via 3-Valued Logic (2001)

Cached

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Mooly Sagiv , Thomas Reps , Reinhard Wilhelm

Citations:

658 - 80 self

BibTeX

@MISC{Sagiv01parametricshape,
    author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
    title = {Parametric Shape Analysis via 3-Valued Logic},
    year = {2001}
}

OpenURL

Abstract

Shape Analysis concerns the problem of determining "shape invariants"...

Keyphrases

3-valued logic parametric shape analysis shape invariant shape analysis