Tutorial: Type-Based Analysis of Higher-Order Programs

Niki Vazou1, Patrick M. Rondon2, Eric Seidel1, and Ranjit Jhala1

1UC San Diego 2Google

Outline

  1. Simple Refinements
  2. Higher Order Refinements
  3. Abstract Refinements
  4. Inductive Refinements
  5. Composing Refinements
  6. Recursive Refinements
  7. Indexed Refinements