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.