|
СТ |
Coordination Languages for Parallel Programming |
1998 |
Arbab F., Ciancarini P., Hankin C. |
|
|
|
Parallel Computing |
07.04.2001 |
|
СТ |
A New Approach to Control Flow Analysis |
1998 |
Malacaria P., Hankin C. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Position Statements on Strategic Directions for Research on Programming Languages |
1997 |
Hankin C., Nielson H. R., Palsberg J. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis |
1994 |
Hankin C., Le Metayer D. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
A Type-based Framework for Program Analysis |
1994 |
Hankin C., Le Metayer D. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Lazy Type Inference for the Strictness Analysis of Lists |
1994 |
Hankin C., Le Metayer D. |
|
|
|
Lecture Notes in Computer Science |
06.05.1994 |
|
СТ |
A Calculus of Gamma Programs |
1993 |
Hankin C., Lemetayer D., Sands D. |
|
|
|
Lecture Notes in Computer Science |
24.03.1994 |
|
СТ |
A Congruence for Gamma Programs |
1993 |
Errington L., Hankin C., Jensen T. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
A Lattice of Abstract Graphs |
1993 |
Clark D., Hankin C. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
П |
A Calculus of Gamma programs |
1992 |
Hankin C., Le Metayer D., Sands D. |
|
|
INRIA |
|
18.06.1993 |
|
СТ |
Transformation of Gamma Programs |
1992 |
Hankin C., Le Metayer D., Sands D. |
|
|
|
BIGRE |
05.11.1992 |
|
СТ |
Static Analysis of Term Graph Rewriting Systems |
1991 |
Hankin C. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
