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: 519538.0, MPI für Informatik / Programming Logics Group
Combining Lazy Narrowing and Simplification
Authors:Hanus, Michael
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):1994
Title of Proceedings:Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94)
Start Page:370
End Page:384
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Madrid, Spain
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
1994
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:Languages that integrate functional and logic programming styles with a complete operational semantics are based on narrowing. In order to avoid useless computations and to deal with infinite data structures, lazy narrowing strategies have been proposed in the past. This paper presents an important improvement of lazy narrowing by incorporating deterministic simplification steps into lazy narrowing derivations. These simplification steps reduce the search space so that in some cases infinite search spaces are reduced to finite ones. We show that the completeness of lazy narrowing is not destroyed by the simplification process and demonstrate the improved operational behavior by means of several examples.
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-6BA7092098F04C00C12561440062229B-...
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.