Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Hanus, Michael

dblp



Editor(s):





BibTeX cite key*:

Hanus93d

Title, Booktitle

Title*:

Towards the Global Optimization of Functional Logic Programs

Booktitle*:

Proc.~Workshop on Global Compilation, International Logic
Programming Symposium

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Vancouver, Canada

Language:

English

Event Date*
(no longer used):

1993

Organization:


Event Start Date:

25 August 2019

Event End Date:

25 August 2019

Publisher

Name*:



URL:


Address*:


Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

83-97

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

(LaTeX) Abstract:

Functional logic languages amalgamate functional and logic
programming programming paradigms. They can be efficiently
implemented by extending techniques known from logic
programming. In this paper we show how global information
about the call modes of functions can be used to optimize
the compilation of functional logic programs. Since mode
information has been successfully used to improve the
implementation of pure logic programs and these techniques
can be applied to implementations of functional logic
programs as well, we concentrate on optimizations which
are unique to the operational semantics of functional
logic programs. We define a suitable notion of modes for
functional logic programs and present compile-time
techniques to optimize the normalization process during the
execution of functional logic programs.



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{Hanus93d,
AUTHOR = {Hanus, Michael},
TITLE = {Towards the Global Optimization of Functional Logic Programs},
BOOKTITLE = {Proc.~Workshop on Global Compilation, International Logic
Programming Symposium},
YEAR = {1993},
PAGES = {83--97},
}


Entry last modified by Christine Kiesel/AG2/MPII/DE, 08/28/2014
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
01/25/1996 04:00:11 PM
Revision
1.
0.


Editor
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE


Edit Date
26/01/96 11:20:04
26/01/96 10:40:29