Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Charatonik, Witold


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update  Library locked

Thesis - Habilitation thesis | | Habilitation(sschrift)


Author
Author(s)*:Charatonik, Witold
BibTeX citekey*:Charatonik2002habil
Language:German

Title, School
Title*:Direktionale Typen in der Logischen Programmierung
School:Universität des Saarlandes
Type of Thesis*:Habilitation thesis
Year:2002


Note, Abstract, Copyright
LaTeX Abstract: 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.

Download Access Level:Public
Download File(s):

Referees, Status, Dates
1. Referee:-
2. Referee:-
Supervisor:-
Status:Completed
First Lecture Title:Thema der Antrittsvorlesung: Direktionale Typen in der Logischen Programmierung
Location of Lecture:Geb. 46; R 024
Date Kolloquium:12 February 2002
Chair Kolloquium:Prof. Dr. R. Schulze-Pillot-Ziemen

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:Expert
Appearance: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}
}





Entry last modified by Christine Kiesel, 08/26/2014
Hide details for Edit History (please click the blue arrow to see the details)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