|
|
|
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)]] ^:
|
|
|
|
|
|
|
|
|
|
|
|
|