Publications
Thesis (Server halma.mpi-inf.mpg.de)
Library locked
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.
BibTeX Entry:
Entry last modified by Christine Kiesel, 08/26/2014
Edit History (please click the blue arrow to see the details)
Thesis
Habilitation thesis | {Charatonik2002habil, ... | Habilitation(sschrift) - German
Charatonik, Witold
Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes, 2002
Abstract der Antrittsvorlesung:
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.
Public
Download File(s):
-
-
-
Completed
Thema der Antrittsvorlesung: Direktionale Typen in der Logischen Programmierung
Geb. 46; R 024
12
February
2002
Prof. Dr. R. Schulze-Pillot-Ziemen
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@PHDTHESIS{Charatonik2002habil,
AUTHOR = {Charatonik, Witold},
TITLE = {Direktionale Typen in der Logischen Programmierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2002},
TYPE = {Habilitation thesis}
}
AUTHOR = {Charatonik, Witold},
TITLE = {Direktionale Typen in der Logischen Programmierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2002},
TYPE = {Habilitation thesis}
}
Entry last modified by Christine Kiesel, 08/26/2014
Edit History (please click the blue arrow to see the details) | Editor(s) [Library] | Created 03/14/2002 02:25:52 PM |
| Revisions 5. 4. 3. 2. 1. | Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 01.09.2003 17:27:13 30.07.2003 15:22:15 30.07.2003 15:19:09 07.07.2003 15:56:48 22.04.2002 15:52:34 |