English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Charatonik, Witold1, 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: 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