Home
Members
Publications
Projects/Collab.
Software
Events
Open Positions
Contact
News
Go to: Tool Homepage - Downloads - User Guide - Examples
Warning: the most up-to-date versions are available for download at the bottom of this page.
We take the classical example of evaluator coming with the expression problem and we show that we can switch from one view to another with our tool.
We re-implement Griswold's example of program restructuring in order to change the primary axis of modularity (example coming form Parnas).
See the page for this example.
Reference : W. G. Griswold, “Program Restructuring as an Aid to Software Maintenance”, Ph.D. Thesis, Technical Report 91-08-04, Department of Computer Science and Engineering, University of Washington, July 1991.
We apply our tool to a program available on the HackageDB public repository : the lambda cube. See the page for this example (the archive given below on this page is currently more up-to-date than the description page).
v0.1c | v0.2b | v0.3 (Apr. 2011) | |
---|---|---|---|
Expression Problem (with a fold iterator, all steps explicit) | expr_prob_0.1c.tgz | expr_prob_0.2b.tgz (use transfo_pfun_to_pdata-fold.el and transfo_pdata-fold_to_pfun.el ) | expr_prob_fold_adhoc_0.3a.tgz |
Expression Problem (with a fold iterator, generic chains of operations) | expr_prob_fold_chains_0.3a.tgz | ||
Expression Problem (without iterator) | expr_prob_0.2b.tgz (use transfo_pfun_to_pdata-dispatch-skeleton_adhoc.el and transfo_pdata-dispatch-skeleton_to_pfun.el ) | same as for v0.2 | |
Scenario of Evolution on the Expression Problem | expr_prob_scenario_0.3b.tgz | ||
KWIC | kwic_0.1c.tgz | kwic_0.2a.tgz | kwic_0.3a.tgz |
Lambda-Cube (without iterator, all steps explicit) | lambdacube_0.1b.tgz | lambdacube_0.2a.tgz | same as for v0.2 |