On the definition of specialization hierarchies for procedures

Authors:
Alexander Borgida
Affiliations:
Department of Computer Science, University of Toronto, Toronto, Canada
Venue:
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Year:
1981

Citing 6
Cited 0

A language facility for designing database-intensive applications

ACM Transactions on Database Systems (TODS)
SIMULA: an ALGOL-based simulation language

Communications of the ACM
The Smalltalk-76 programming system design and implementation

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extending object oriented programming in Smalltalk

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Dependency Directed Reasoning for Complex Program Understanding

Dependency Directed Reasoning for Complex Program Understanding
Some features of the TAXIS data model

VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.