Applications

There are two broad kinds of applications.

Application-level

• Variables

  • Dynamic variable
  • Thread and group local

• Object snapshot

  • Postcondition (?)
  • JExample

• Local rebinding

System-level

• Application isolation

  • Global state no more global

• Incompatibilities

• Dynamic software update (?)