| Conservative
source models |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | These
include all true information and |
||||||||||||
| maybe
some false information, too |
|||||||||||||
| • | Frequently
used in compiler optimization, |
||||||||||||
| parallelization,
in programming language |
|||||||||||||
| type
inference, etc. |
|||||||||||||
| – | Ex:
never misidentify a call that can be made or |
||||||||||||
| else
a compiler may translate improperly |
|||||||||||||
| – | Ex:
never misidentify an expression in a |
||||||||||||
| statically
typed programming language |
|||||||||||||
