Вы здесь

Seidl H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ FORK: A High-Level Language for PRAMs 1991 Hagerup T., Schmitt A., Seidl H. Lecture Notes in Computer Science 13.09.1991
СТ When Is a Functional Tree Transduction Deterministic? 1993 Seidl H. Lecture Notes in Computer Science 26.05.1993
СТ Tree Automata for Code Selection 1994 Ferdinand C., Seidl H., Wilhelm R. Acta Informatica 24.01.1995
СТ Integer Constraints to Stop Deforestation 1996 Seidl H. Lecture Notes in Computer Science 18.05.1996
СТ Constraint-Based Inter-Procedural Analysis of Parallel Programs 2000 Seidl H., Steffen B. Lecture Notes in Computer Science 25.04.2000
СТ Control-Flow Analysis in Cubic Time 2001 Nielson F., Seidl H. Lecture Notes in Computer Science 28.04.2001
СТ Automatic Complexity Analysis 2002 Nielson F., Neilson H. R., Seidl H. Lecture Notes in Computer Science 08.05.2002
СТ Precise Interprocedural Analysis through Linear Algebra 2004 Muller-Olm M., Seidl H. POPL 2004 09.06.2004