СТ |
Information Flow Analysis in Logical Form |
2004 |
Amtoft T., Banerjee A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
СТ |
The Abstraction and Instantiation of String-Matching Programs |
2002 |
Amtoft T., Consel C., Danvy O., Malmkjaer K. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
СТ |
Faithful Translations between Polyvariant Flows and Polymorphic Types |
2000 |
Amtoft T., Turbak F. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
Behaviour Analysis and Safety Conditions: A Case Study in CML |
1998 |
Nielson H. R., Amtoft T., Nielson F. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
СТ |
Polymorphic Subtyping for Effect Analysis: The Static Semantics |
1997 |
Nielson H. R., Nielson F., Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
СТ |
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics |
1997 |
Amtoft T., Nielson F., Nielson H. R., Ammann J. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
СТ |
Polymorphic Subtyping for Effect Analysis: The Algorithm |
1997 |
Nielson F., Nielson H. R., Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
СТ |
Local Type Reconstruction by means of Symbolic Fixed Point Iteration |
1994 |
Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
06.05.1994 |
СТ |
Minimal Thunkification |
1993 |
Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Unfold/fold Transformations Preserving Termination Properties |
1992 |
Amtoft T. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |