Automatic (And-) Parallelization

• Dependency graph:
  • vertices are goals
  • edges exist if there can be a dependency
  • conditions label edges if the dependency can be removed

• Global analysis used to reduce the number of checks in the conditions (also to true and false)

• Annotation: encoding of parallelism in the target parallel language.

• g(...), g(...), g(...)