Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Programming Logics Group     Display Documents



ID: 519490.0, MPI für Informatik / Programming Logics Group
A Debugging Model for Functional Logic Programs
Authors:Hanus, Michael; Josephs, Berthold
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):1993
Title of Proceedings:Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93)
Start Page:28
End Page:43
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Tallinn, Estonia
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
1993
Audience:Experts Only
Intended Educational Use:No
Abstract / Description: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.
Last Change of the Resource (YYYY-MM-DD):2010-03-12
External Publication Status:published
Document Type:Conference-Paper
Communicated by:Andreas Podelski
Affiliations:MPI für Informatik/Programming Logics Group
Identifiers:LOCALID:C1256104005ECAFC-31383E2EDD860E31C12561440062243F-...
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.