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:








Author, Editor

Author(s):

Hanus, Michael
Josephs, Berthold

dblp
dblp



Editor(s):

Bruynooghe, Maurice
Penjam, Jaan

dblp
dblp



BibTeX cite key*:

HanusJosephs93c

Title, Booktitle

Title*:

A Debugging Model for Functional Logic Programs

Booktitle*:

Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Tallinn, Estonia

Language:

English

Event Date*
(no longer used):

August, 25-27

Organization:


Event Start Date:

21 October 2019

Event End Date:

21 October 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

714

Number:


Month:

October

Pages:

28-43

Year*:

1993

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©

Note:

Also available as Research Report MPI-I-93-222

(LaTeX) Abstract:

This paper presents a box-oriented debugging model for the functional logic language ALF. Due to the sophisticated operational semantics of ALF which is based on innermost basic narrowing with simplification, the debugger must reflect the application of the different computation rules during program execution. Hence our debugging model includes not only one box type as in Byrd's debugging model for logic programs but several different kinds of boxes corresponding to the various computation rules of the functional logic language (narrowing, simplification, etc.). Moreover, additional box types are introduced in order to allow skips over (sometimes) uninteresting program parts like proofs of the condition in a conditional equation. Since ALF is a genuine amalgamation of functional and logic languages, our debugging model subsumes operational aspects of both kinds of languages. As a consequence, it can be also used for pure logic languages, pure functional languages with eager evaluation, or functional
logic languages with a less sophisticated operational semantics like SLOG or eager BABEL.


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{HanusJosephs93c,
AUTHOR = {Hanus, Michael and Josephs, Berthold},
EDITOR = {Bruynooghe, Maurice and Penjam, Jaan},
TITLE = {A Debugging Model for Functional Logic Programs},
BOOKTITLE = {Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93)},
PUBLISHER = {Springer},
YEAR = {1993},
VOLUME = {714},
PAGES = {28--43},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Tallinn, Estonia},
MONTH = {October},
}


Entry last modified by Uwe Brahm, 03/12/2010
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)
Uwe Brahm
Created
01/14/1995 06:51:58 PM
Revisions
7.
6.
5.
4.
3.
Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
03/15/2001 11:59:42 AM
03/15/2001 11:59:10 AM
13/02/95 13:56:32
13/02/95 13:53:11
30/01/95 10:21:06