The OCirc tool

The OCirc tool is a tool that allows OCaml programmers to express their multiple traversal programs as circular programs. This tool transforms circular programs written in Ocaml notation, into correct strict Ocaml programs.

There are two versions of the OCirc tool:

  • a batch tool that given as input a circular OCaml program generates in the output its strict OCaml program. This version is downloadable here (instalation requirements and instructions included).

  • a web-based interactive tool that allows OCirc to be used online. Please try it out here.