Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Shape Analysis with Connectors. | 0 | 0.34 | 2015 |
| The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. | 1 | 0.36 | 2013 |
| FESA: fold- and expand-based shape analysis | 3 | 0.42 | 2013 |
| Summarized Dimensions Revisited | 3 | 0.40 | 2012 |
| Debugging Lazy Functional Programs by Asking the Oracle | 4 | 0.40 | 2007 |