Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Towards the Global Optimization of Functional Logic Programs

Hanus, M. (1993). Towards the Global Optimization of Functional Logic Programs. In Compiler Construction (pp. 83-97). Berlin: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C74D-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C74E-5
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Hanus, Michael1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Functional logic languages amalgamate functional and logic \u000Aprogramming programming paradigms. They can be efficiently \u000Aimplemented by extending techniques known from logic \u000Aprogramming. In this paper we show how global information \u000Aabout the call modes of functions can be used to optimize \u000Athe compilation of functional logic programs. Since mode \u000Ainformation has been successfully used to improve the \u000Aimplementation of pure logic programs and these techniques \u000Acan be applied to implementations of functional logic \u000Aprograms as well, we concentrate on optimizations which \u000Aare unique to the operational semantics of functional \u000Alogic programs. We define a suitable notion of modes for \u000Afunctional logic programs and present compile‐time \u000Atechniques to optimize the normalization process during the \u000Aexecution of functional logic programs.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 1993
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Hanus93d
DOI: 10.1007/3-540-57877-3_5
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 5th International Conference on Compiler Construction
Veranstaltungsort: Edinburgh
Start-/Enddatum: 1994-04-07 - 1994-04-09

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Compiler Construction
  Untertitel : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 83 - 97 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Scince
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 786 Artikelnummer: - Start- / Endseite: - Identifikator: -