| The
uses relation |
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | A
program A uses a program B if
the |
|||||||||||
| correctness
of A depends on the presence of |
||||||||||||
| a
correct version of B |
||||||||||||
| • | Requires
specification and implementation |
|||||||||||
| of A and
the specification of B |
||||||||||||
| • | Again,
what is the “specification”? The |
|||||||||||
| interface? Implied or informal semantics? |
||||||||||||
| – | Can uses
be mechanically computed? |
|||||||||||
