Types énumératifs évolués pour langages à objets

Mulder, Maxime (2023). « Types énumératifs évolués pour langages à objets » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (592kB)

Résumé

Les langages à objets permettent de représenter le monde grâce à des objets, des conteneurs encapsulant des données, des traitements, et pouvant être sujet à des mutations ou à de l'héritage. Dans ce mémoire, nous divisons les objets en deux genres : les instances, des objets locaux et éphémères, et les constantes, des objets universels. Nous appelons énumérations les classes représentant des ensembles de constantes. Nous cherchons à intégrer les notions d'énumérations et de constantes à un langage à objets. Pour cela, nous avons conçu Enumlang, un langage à objets original intégrant un système d'énumérations évoluées comprenant notamment : un système de définition d'énumérations permettant de vérifier dynamiquement la validité des constantes grâce à l'évaluation de prédicats ; un système d'héritage énumératif permettant de représenter des relations ensemblistes dans un contexte d'objets grâce aux prédicats précédents ; et un système de formes alternatives permettant d'affiner la représentation d'une constante en fonction du contexte. Grâce aux énumérations évoluées, Enumlang permet de modéliser et manipuler des constantes de manière ergonomique, sûre et efficace. Les fonctionnalités que nous présentons sont alors implémentées dans l'interpréteur Enumlang de manière souvent paresseuse et mémoïsée. _____________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Langages de programmation, programmation orientée objet, héritage, énumérations, objets, constantes, valeurs

Type:	Mémoire accepté
Informations complémentaires:	Fichier numérique reçu et enrichi en format PDF/A.
Directeur de thèse:	Gagnon, Étienne M.
Mots-clés ou Sujets:	Langages de programmation orientés objet / Programmation orientée objet
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Service des bibliothèques
Date de dépôt:	24 nov. 2023 13:20
Dernière modification:	24 nov. 2023 13:20
Adresse URL :	http://archipel.uqam.ca/id/eprint/17187

Modifier les métadonnées (propriétaire du document)

Statistiques