Sciweavers

Share
APLAS
2007
ACM

On a Tighter Integration of Functional and Logic Programming

9 years 5 months ago
On a Tighter Integration of Functional and Logic Programming
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
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where APLAS
Authors Bernd Braßel, Frank Huch
Comments (0)
books