![]() |
| 2007 | ||
|---|---|---|
| 2 | EE | David Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96 |
| 2005 | ||
| 1 | EE | Christian Skalka, Scott F. Smith, David Van Horn: A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 131: 111-124 (2005) |
| 1 | Harry G. Mairson | [2] |
| 2 | Christian Skalka | [1] |
| 3 | Scott F. Smith | [1] |