• Interfaces
• Interface casts
• Verifying Interfaces
• Distributed updates of static tables
• Conclusion