СТ |
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 Framework for Combining Analysis and Verification |
2000 |
Heintze N., Jaffar J., Voicu R. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
СТ |
On the Complexity of Set-Based Analysis |
1997 |
Heintze N., Mcallester D. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
СТ |
Linear-time Subtransitive Control Flow Analysis |
1997 |
Heintze N., Mcallester D. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
СТ |
Control-Flow Analysis and Type Systems |
1995 |
Heintze N. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
СТ |
Set Constraints and Set-Based Analysis |
1994 |
Heintze N., Jaffar J. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Set-Based Analysis of ML Programs |
1994 |
Heintze N. |
|
|
|
LISP Pointers |
16.01.1995 |
СТ |
Practical Aspects of Set Based Analysis |
1992 |
Heintze N. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |