Direktionale Typen in der Logischen Programmierung

Charatonik, Witold

Local TagsRelease HistoryDetailsSummary

Direktionale Typen in der Logischen Programmierung

Charatonik, W. (2002). Direktionale Typen in der Logischen Programmierung. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C584-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C585-8

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Charatonik, Witold¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: Abstract der Antrittsvorlesung:\u000A\u000A In Typsystemen fü}r logische Programme wurden Pr{ä}dikate bisher als\u000A ungerichtete Relationen betrachtet. Dies entspricht nicht der Praxis\u000A des Programmierens. In dem Vortrag werde ich das System der\u000A direktionalen Typen vorstellen, das Pr{ä}dikate als Prozeduren\u000A betrachtet und die Zusammenh{ä}nge zwischen Eingabe‐ und Ausgabewerten\u000A beschreibt. Insbesondere werde ich {ü}ber Typinferenz und Typpr{ü}fen und\u000A die Komplexit{ät dieser Probleme sprechen.

Details

show

hide

Language(s): deu - German

Dates: Date issued: 2002

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Charatonik2002habil

Degree: Habilitation

Event

show

Legal Case

show

Project information

show

Source

show