Вы здесь

Heintze N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Control-Flow Analysis and Type Systems 1995 Heintze N. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ 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
СТ Linear-time Subtransitive Control Flow Analysis 1997 Heintze N., Mcallester D. SIGPLAN Notices 09.07.1997
СТ On the Complexity of Set-Based Analysis 1997 Heintze N., Mcallester D. SIGPLAN Notices 01.10.1997
СТ Practical Aspects of Set Based Analysis 1992 Heintze N. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ 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