Stage 1: Perfect Types

• Assign each object to a home type with no defect

  • start with separate type for each object, based on local picture
  • compute Max-FP of types over data
  • find equivalence classes

Previous slide

Next slide

Back to first slide

View graphic version