Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

APLAS
2007
ACM

favoriteEmaildiscussreport

112views Programming Languages» more APLAS 2007»

On a Tighter Integration of Functional and Logic Programming

13 years 8 months ago

On a Tighter Integration of Functional and Logic Programming

Download www.informatik.uni-kiel.de

The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: sharing computations across non-deterministic branching and the declarative encapsulation of logic search. We then present a formal approach which shows how these improvements can be realized and prove the soundness of our approach.

Bernd Braßel, Frank Huch

Real-time Traffic

APLAS 2007 | Logic Programming | Non-deterministic Branching | Programming Languages | Separate Aspects |

claim paper

Related Content

» Determinacy Analysis for Logic Programs Using Mode and Type Information

» Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

» The Functional Side of Logic Programming

» Seamless integration of rulebased knowledge and objectoriented functionality with linguist...

» Cooperative Constraint Functional Logic Programming

» A Unified Computation Model for Functional and Logic Programming

» A Functional Logic Programming Approach to Graphical User Interfaces

» Declarative Programming with Function Patterns

» An Operational Approach to Combining Classical Set Theory and Functional Programming Langu...

Post Info
More Details (n/a)

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	APLAS
Authors	Bernd Braßel, Frank Huch

Comments (0)