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: 519465.0, MPI für Informatik / Programming Logics Group
The Integration of Functions into Logic Programming: From Theory to Practice
Authors:Hanus, Michael
Language:English
Date of Publication (YYYY-MM-DD):1994
Title of Journal:Journal of Logic Programming
Volume:19 & 20
Start Page:583
End Page:628
Review Status:Peer-review
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early
research concentrated on the definition and improvement of execution principles
for such integrated languages, while more recently efficient implementations of
these execution principles have been developed so that these languages became
relevant for practical applications. In this paper we survey the development of
the operational semantics as well as the improvement of the implementation of
functional logic languages.
Last Change of the Resource (YYYY-MM-DD):2010-03-12
External Publication Status:published
Document Type:Article
Communicated by:Andreas Podelski
Affiliations:MPI für Informatik/Programming Logics Group
Identifiers:LOCALID:C1256104005ECAFC-0E6AB09431FD0AF8C125614400622237-...
ISSN:0743-1066
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.