The CircLib? library

The CircLib? library is a Haskell based library that implements the schedulling of circular definitions.

This library implements an adaptation of Kasten's attribute scheduling algorithm to circular programs. The basic idea is that, if a circular program is an ordered circular program, it exists an alternative way to produce the same results produced by the circular program.

The adaptation we propose for Kasten's algorithm also determines this alternative way of producing results.

The complete documentation for this library may be found here.