Command disabled: index

Go to: Tool Homepage - Downloads - User Guide - Examples

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

Click on the items below to see how our tool works

internet/view_switcher/examples/lambda_cube.txt ยท Last modified: 2011/05/09 07:53 by cohen-j