|
СТ |
Modular and Constraint-Based Information Flow Reference for an Object-Oriented Language |
2004 |
Sun Q., Banerjee A., Naumann D. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
|
СТ |
Information Flow Analysis in Logical Form |
2004 |
Amtoft T., Banerjee A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
|
СТ |
Design and Correctness of Program Transformations Based on Control-Flow Analysis |
2001 |
Banerjee A., Heintze N., Riecke J. G. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
A Modular, Polyvariant, and Type-Based Closure Analysis |
1997 |
Banerjee A. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Stackability in the Simply-Typed Call-By-Value Lambda Calculus |
1994 |
Banerjee A., Schmidt D. A. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
