Functional Logic Programming with Generalized Circular Coinduction

Details Functional Logic Programming with Generalized Circular Coinduction Functional Logic Programming with Generalized Circular Coinduction

2012-03-05

arxiv.org/abs/1203.0835v1

Computer Science

Programming Languages

Scientific paper

We propose a method to adapt functional logic programming to deal with reasoning on coinductively interpreted programs as well as on inductively interpreted programs. In order to do so, we consider a class of objects interesting for this coinductive interpretation, namely regular terms. We show how the usual data structures can be adapted to capture these objects. We adapt the operational semantics of Curry to interpret programs coinductively. We illustrate this method with several examples that show the working of our method and several cases in which it could be useful. Finally, we suggest how the declarative semantics can be adapted suitably.

Affiliated with

Also associated with

No associations

Rating

Functional Logic Programming with Generalized Circular Coinduction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Functional Logic Programming with Generalized Circular Coinduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Functional Logic Programming with Generalized Circular Coinduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-132586