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: 519544.0, MPI für Informatik / Programming Logics Group
Mode Analysis of Functional Logic Programs
Authors:Hanus, Michael; Zartmann, Frank
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):1994
Title of Proceedings:Proceedings of the 1st International Static Analysis Symposium (SAS'94)
Start Page:26
End Page:42
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Namur, Belgium
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
1994
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:Functional logic languages amalgamate functional and logic programming paradigms. They can be efficiently implemented by extending techniques known from logic programming. Such implementations can be largely improved if information about the run-time behavior, in particular the modes of function calls, is available at compile time. In this paper we present a framework to derive such global information. The concrete operational semantics considered in this paper is normalizing innermost narrowing, which combines the deterministic reduction principle of functional languages with the nondeterministic search principle of logic languages. Due to the normalization process between narrowing steps, standard analysis frameworks for logic programming cannot be applied. Therefore we develop new techniques to correctly approximate the effect of the intermediate normalization process.
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-72B5595562EC388DC1256144006223CA-...
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.