Inheritance of interface specifications (extended abstract (1994)

by Gary T Leavens
Venue:In Proceedings of the Workshop on Interface Definition Languages, volume 29(8) of ACM SIGPLAN Notices