Specialized and Generalized Mappings in Words
Sometimes HPF requires mappings to be “compatable”
- Parameter passing with implicit interfaces
- Pointer association in HPF 2
“Compatable” is defined by how much information they have
- A mapping is a “specialization” of another if it has more information, and they match on the info they do have