Følg
Jürgen Ammann
Jürgen Ammann
Diplom-Informatiker (Master of Science) Christian-Albrechts Universitaet zu Kiel, in Informatik
Ingen verificeret mail - Startside
Titel
Citeret af
Citeret af
År
Polymorphic subtyping for effect analysis: The dynamic semantics
T Amtoft, F Nielson, H Riis Nielson, J Ammann
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop …, 1997
131997
Polymorphic Subtyping for E ect Analysis: the Semantics
T Amtoft, F Nielson, HR Nielson, J Ammann
1996
Polymorphic Subtyping for Effect Analysis: The Semantics
T Amtoft, F Nielson, HR Nielson, J Ammann
DAIMI Report Series, 1996
1996
Elemente der Projektions-Analyse für Funktionen höherer Ordnung
J Ammann
1994
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4