This week

• Type inference (Lackwit)

• Program representations for tool support

• Inferring invariants

Previous slide

Next slide

Back to first slide

View graphic version