Reaching Definitions

• 12 sets:

  • RDentry(1), ..., RDexit(6)

• 12 equations:

  • RDj = Fj (RDentry(1), ..., RDexit(6))

• one function:

  • F: (?(Var* ? Lab*))12 ??(?(Var* ? Lab*))12

• we want the least fixed point of F

--- but --- does it exist?

Summary

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen