---
title: "On the Definition of Specialization Hierarchies for Procedures"
authors:
  - "Alexander Borgida"
doi: ""
url: "https://ijcai.org/proceedings/1981/52"
pdf: "https://ijcai.org/proceedings/1981/0052.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "254-255"
track: "Nowledge Representation"
keywords:
---

# On the Definition of Specialization Hierarchies for Procedures

Alexander Borgida

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 254-255.

## Abstract

We highlight the growing body of systems in AI and outside where IS-A hierarchies of procedures co -occur with more traditional ones of objects, and we c lassify the various types of specializations. 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 .