![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | Aaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107 |
2005 | ||
1 | EE | Aaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116 |
1 | Guillaume P. Brat | [2] |
2 | Cormac Flanagan | [1] |
3 | Willem Visser | [2] |