Interfaces | the collection of procedures and data structures that deene a library, a subsystem, a module | are syntactically poor programming languages. They have state (deened both by the interface's data structures and internally), operations on this state (deened by the interface's procedures), and semantics associated with these operations. Given a way to incorporate interface semantics in...