List of Figures

1. Maude home page at maude.cs.uiuc.edu
2. Running Maude inside Emacs
3. Confluence diagram
4. Coherence diagram
5. Graphical representation of search graph in example
6. Hierarchy of order theories
7. Structure of LEX-PAIR
8. Importation (protecting) graph of predefined modules
9. Importation graph of parameterized list and set modules
10. From lists to weakly sortable lists
11. From weakly sortable lists to sortable lists
12. Another version of sortable lists
13. Importation graph of bank modules
14. Importation graph of ticker modules
15. Importation graph of data-agents modules
16. Importation graph of model-checking modules
17. Graphical representation of a Kripke structure
18. Importation graph of metalevel modules
19. Number of rewrites and cpu time for different versions of the sorting algorithms