Campus Event Calendar
Event Entry
What and Who
Direktionale Typen in der Logischen Programmierung
Witold Charatonik
Max-Planck-Institut für Informatik - AG 2
Antrittsvorlesung
AG 1, AG 2, AG 3, AG 4
MPI Audience
German
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 12 February 2002
16:15
-- Not specified --
46.1 - MPII
024
Saarbrücken
Abstract
In Typsystemen für logische Programme wurden Prädikate bisher als
ungerichtete Relationen betrachtet. Dies entspricht nicht der Praxis
des Programmierens. In dem Vortrag werde ich das System der
direktionalen Typen vorstellen, das Prädikate als Prozeduren
betrachtet und die Zusammenhänge zwischen Eingabe- und Ausgabewerten
beschreibt. Insbesondere werde ich über Typinferenz und Typprüfen und
die Komplexität dieser Probleme sprechen.
Contact
Witold Charatonik
--email hidden
passcode not visible
logged in users only