On automatic class insertion with overloading

Also published in Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA)International audienceSeveral 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

Perspectives croisées sur la coopération transatlantique

This book gathers contributions by European and Canadian specialists in law, economics, international relations and political science and offers a rich overview of the many facets of Euro-Canadian relations

Perspectives croisées sur la coopération transatlantique

This book gathers contributions by European and Canadian specialists in law, economics, international relations and political science and offers a rich overview of the many facets of Euro-Canadian relations

Application aux produits agricoles des règles relatives à la libre circulation des marchandises

SCOPUS: ar.jinfo:eu-repo/semantics/publishe

Les articles 92 et 94 du traité de Rome au travers des arrêts de la cour de justice et des décisions de la commission des communautés européennes

info:eu-repo/semantics/publishe

Etude approfondie de questions de droit des communautés européennes

SYL-005300 = Fascicule 1Licence spéciale en droit européeninfo:eu-repo/semantics/published

Les conséquences de la mise en vigueur d'une aide par un Etat en violation des dispositions de l'article 93, §3, du traité de Rome

info:eu-repo/semantics/publishe

La responsabilité des pouvoirs publics en cas d'intervention dans une entreprise en difficulté

Doctorat en droitinfo:eu-repo/semantics/nonPublishe

The EU's legal framework and the limits of its external environmental regulatory influence

SCOPUS: ch.binfo:eu-repo/semantics/publishe

Droit de l’Union européenne

info:eu-repo/semantics/published