Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Konferenzbeitrag

A Debugging Model for Functional Logic Programs

MPG-Autoren
/persons/resource/persons44582

Hanus,  Michael
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen

https://rdcu.be/dsZpW
(Verlagsversion)

Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte in PuRe verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Hanus, M., & Josephs, B. (1993). A Debugging Model for Functional Logic Programs. In M. Bruynooghe, & J. Penjam (Eds.), Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93) (pp. 28-43). Berlin, Germany: Springer.


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-ADD9-6
Zusammenfassung
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.