Вы здесь

Amtoft T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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