![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer: Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): (2008) |
2005 | ||
1 | EE | Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58 |
1 | Cormac Flanagan | [1] [2] |
2 | Stephen N. Freund | [1] [2] |
3 | Shaz Qadeer | [2] |