Example of transformation on a real program (LambdaCube program)

(Warning: this description corresponds to the first implementation of this example and is currently outdated. The current version can be downloaded from the example page.)

The archive below contains:

• the initial program, modular with respect to functions;
• the transformation to get a behavior equivalent program but modular with respect to data constructors;
• the transformation to transform the second architecture of the program (data-centered) into to the initial architecture (function-centered).

lambdacube.tar.gz