Parametric Shape Analysis via 3-Valued Logic.
Saved in:
| Title: | Parametric Shape Analysis via 3-Valued Logic. |
|---|---|
| Authors: | Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard |
| Source: | ACM Transactions on Programming Languages & Systems; May 2002, Vol. 24 Issue 3, p217-298, 82p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/514188.514190 |
