[next] [prev] [prev-tail] [tail] [up]

List of Figures

2.1 Maude home page at maude.cs.uiuc.edu
2.2 Running Maude inside Emacs
4.1 Confluence diagram
5.1 Coherence diagram
5.2 Graphical representation of search graph in example
6.1 Hierarchy of order theories
6.2 Structure of LEX-PAIR
7.1 Importation (protecting) graph of predefined modules
7.2 Importation graph of parameterized list and set modules
7.3 From lists to weakly sortable lists
7.4 From weakly sortable lists to sortable lists
7.5 Another version of sortable lists
8.1 Importation graph of bank modules
8.2 Importation graph of ticker modules
8.3 Importation graph of data-agents modules
10.1 Importation graph of model-checking modules
10.2 Graphical representation of a Kripke structure
11.1 Importation graph of metalevel modules
14.1 Number of rewrites and cpu time for different versions of the sorting algorithms

[next] [prev] [prev-tail] [front] [up]