СТ |
Simple Driving Rechniques |
2002 |
Rosendahl M. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
СТ |
Efficient Strictness Analysis of Haskell |
1994 |
Jensen K. D., Hjaeresen P., Rosendahl M. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
СТ |
Higher-Order Minimal Function Graphs |
1994 |
Jones N. D., Rosendahl M. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
П |
Higher-Order Chaotic Iteration Sequences |
1993 |
Rosendahl M. |
|
|
Univ.Copenhagen |
|
19.05.1993 |
СТ |
Minimal Function Graphs are not Instrumented |
1992 |
Mycroft A., Rosendahl M. |
|
|
|
BIGRE |
05.11.1992 |
СТ |
Strictness Analysis for Attribute Grammars |
1992 |
Rosendahl M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |