Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-93-222

A debugging model for functional logic programs

Hanus, Michael and Josephs, Berthold

MPI-I-93-222. May 1993, 14 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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.
Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-93-222.pdfMPI-I-93-222.pdfMPI-I-93-222.dvi - MPI-I-93-222.dvi
61 KBytes; 115 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1993-222
Hide details for BibTeXBibTeX
@TECHREPORT{HanusJosephs93,
  AUTHOR = {Hanus, Michael and Josephs, Berthold},
  TITLE = {A debugging model for functional logic programs},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-93-222},
  MONTH = {May},
  YEAR = {1993},
  ISSN = {0946-011X},
}