6 Confidence condition generation6 Confidence condition generation
Top Top
8 Drawing a module dependency graph 8 Drawing a module dependency graph
7 Showing module dependencies

7 Showing module dependencies

These are shown in a simple ASCII representation. For example, generating them for the scheme QSI from section 10.14 produces the output 

QSI
        QSPEC
                QSP
        QUICKSORT
                QSP
        I

which shows that QSI depends on QSPEC, QUICKSORT and I, and that the first two of these depend in turn on QSP.

Chris George, April 17, 2008

7 Showing module dependencies
6 Confidence condition generation6 Confidence condition generation
Top Top
8 Drawing a module dependency graph 8 Drawing a module dependency graph