Relating binding patterns
Generality of binding patterns
- Sp is more general than Sq if every non-%-annotated attribute that is free in q is also free in p (but not vice versa)
- Call to S with binding pattern p will subsume the results of call to S with binding pattern q
- For S($X,%Y,Z), Sbbf is more general than Sbfb
- Holds only because of % annotations
- #(B) is the number of bound variables in the binding pattern B that are not %-annotated
- #(.) is used to relate binding patterns of different sources (as in “bound-is-easier” assumption)