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

https://hal.archives-ouvertes.fr/hal-02266668
Contributor : Therese Libourel <>
Submitted on : Tuesday, August 20, 2019 - 5:53:34 PM
Last modification on : Thursday, August 22, 2019 - 1:19:38 AM

File

download.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02266668, version 1

Données associées

Collections

Citation

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⟩

Share

Metrics

Record views

32

Files downloads

2