On the definition of specialization hierarchies for procedures
Alexander T. Borgida · International Joint Conference on Artificial Intelligence · 1981
We highlight the growing body of systems in AI and outside where IS-A hierarchies of procedures co-occur with more traditional onea of objects, and we classify the various types of specialisations. We then give formal definitions which approximate their intended meanings and, finally, examine their utility using as a criterion the way in which they aid program verification.