1995 | ||
---|---|---|
3 | Yan Mei Tang, Pierre Jouvelot: Effect Systems with Subtyping. PEPM 1995: 45-53 | |
1994 | ||
2 | Yan Mei Tang, Pierre Jouvelot: Separate Abstract Interpretation for Control-Flow Analysis. TACS 1994: 224-243 | |
1992 | ||
1 | Yan Mei Tang, Pierre Jouvelot: Control-Flow Effects for Escape Analysis. WSA 1992: 313-321 |
1 | Pierre Jouvelot | [1] [2] [3] |