lambda_cube.asciidoc

+Go to: [[internet:view_switcher|Tool Homepage]] - [[internet:view_switcher:download|Downloads]] - [[internet:view_switcher:user_guide|User Guide]] - [[internet:view_switcher:examples|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 [[internet:view_switcher:examples | 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).
+
+{{:internet:view_switcher:lambdacube.tar.gz|}}
+
+=== Click on the items below to see how our tool works ===
+
+^ [[internet:view_switcher:examples:lambda_cube:initial_page|Initial view]] ^:
+
+
+^ [[internet:view_switcher:examples:lambda_cube:data_view|Data View (Switch from the initial program to its data view)]] ^:
+
+
+
+^ [[internet:view_switcher:examples:lambda_cube:fun_view|Function View (Switch from the program data view  to its initial state)]] ^:
+
+
+