|
СТ |
Precise Interprocedural Analysis through Linear Algebra |
2004 |
Muller-Olm M., Seidl H. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Automatic Complexity Analysis |
2002 |
Nielson F., Neilson H. R., Seidl H. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Control-Flow Analysis in Cubic Time |
2001 |
Nielson F., Seidl H. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Constraint-Based Inter-Procedural Analysis of Parallel Programs |
2000 |
Seidl H., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Integer Constraints to Stop Deforestation |
1996 |
Seidl H. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Tree Automata for Code Selection |
1994 |
Ferdinand C., Seidl H., Wilhelm R. |
|
|
|
Acta Informatica |
24.01.1995 |
|
СТ |
When Is a Functional Tree Transduction Deterministic? |
1993 |
Seidl H. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
FORK: A High-Level Language for PRAMs |
1991 |
Hagerup T., Schmitt A., Seidl H. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
