СТ |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report |
1998 |
Wright A., Jagannathan S., Ungureanu C., Hertzmann A. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
Single and Loving It: Must-Alias Analysis for Higher-Order Languages |
1998 |
Jagannathan S., Thiemann P., Weeks S., Wright A. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
Type-Directed Flow Analysis for Typed Intermediate Languages |
1997 |
Jagannathan S., Weeks S., Wright A. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
СТ |
Flow-Directed Inlining |
1996 |
Jagannathan S., Wright A. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
СТ |
Flow-directed Inlining |
1996 |
Jagannathan S., Wright A. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
СТ |
Effective Flow Analysis for Avoiding Run-Time Checks |
1995 |
Jagannathan S., Wright A. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |