|
СТ |
Effect Systems with Subtyping |
1995 |
Tang Y. M., Jouvelot P. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Separate Abstract Interpretation for Control-Flow Analysis |
1994 |
Tang Y. M., Jouvelot P. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
Compiling FX on the CM-2 |
1993 |
Talpin J. -P., Jouvelot P. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
Semantic File Systems |
1991 |
Gifford D., Jouvelot P., Sheldon M., O Toole J. |
|
|
|
Operating Systems Review |
03.12.1992 |
|
СТ |
Control-Flow Effects for Escape Analysis |
1992 |
Tang Y. -M., Jouvelot P. |
|
|
|
BIGRE |
11.11.1992 |
|
СТ |
Polymorphic Time Systems for Estimating Program Complexity |
1991 |
Dornic V., Jouvelot P., Gifford D. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
Polymorphic Type, Region and Effect Inference |
1991 |
Talpin J., Jouvelot P. |
|
|
|
BIGRE |
11.12.1991 |
