CoFJ: a protototype implementation of Corecursive Featherweight Java with Coinductive Logic Programming

Download the translator (jar files)

cofj.zip