| |
| 2006 | ||
|---|---|---|
| 3 | EE | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231 |
| 2005 | ||
| 2 | EE | Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand: Selectors Make Set-Based Analysis Too Hard. Higher-Order and Symbolic Computation 18(3-4): 245-269 (2005) |
| 2004 | ||
| 1 | EE | David Herman, Philippe Meunier: Improving the static analysis of embedded languages via partial evaluation. ICFP 2004: 16-27 |
| 1 | Matthias Felleisen | [3] |
| 2 | Robert Bruce Findler | [2] [3] |
| 3 | David Herman | [1] |
| 4 | Paul Steckler | [2] |
| 5 | Mitchell Wand | [2] |