On automatic class insertion with overloading

Abstract : Several algorithms [Cas92, MS89, Run92, DDHL94a, DDHL95, GMM95] have been proposed to automatically insert a class into an inheritance hierarchy. But actual hierarchies all include overriden and overloaded properties that these algorithms handle either very partially or not at all. Partially handled means handled provided there is a separate given function f able to compare overloaded properties [DDHL95, GMM95].In this paper, we describe a new version of our algorithm (named Ares) which handles automatic class insertion more efficiently using such a function f. Although impossible to fully define, this function can be computed for a number of well defined cases of overloading and overriding. We give a classification of such cases and describe the computation process for a well-defined set of nontrivial cases.The algorithm preserves these important properties:- preservation of the maximal factorization of properties- preservation of the underlying structure (Galois lattice) of the input hierarchy- conservation of relevant classes of the input hierarchy with their properties.
Document type :
Journal articles
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

Contributor : Therese Libourel <>
Submitted on : Tuesday, August 20, 2019 - 5:53:34 PM
Last modification on : Thursday, August 22, 2019 - 1:19:38 AM


Files produced by the author(s)


  • HAL Id : hal-02266668, version 1

Données associées



Hervé Dicky, Christophe Dony, Marianne Huchard, Thérèse Libourel Rouge. On automatic class insertion with overloading. ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 1996, 31 (10), pp.251-267. ⟨hal-02266668⟩



Record views


Files downloads