Problèmes de réutilisation liés au typage : application à une extension du langage ADA

par Daniel Lévi

Thèse de doctorat en Informatique

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1988

à Nice .

mots clés

• Ada (langage de programmation)
• Infographie

Résumé

Les relations entre types sont un point clé des langages de programmation. Elles caractérisent les possibilités de réutilisation, par exemple dans le polymorphisme et la programmation orientée objet. Une implémentation est proposée par création d’opérations. Présentation de procédés originaux d'instanciation automatique de génériques et de résolution de surcharge par le contexte, utilisant un ordre sur les relations entre types. Le résultat est un vérificateur de types, capable d'instancier automatiquement les opérations réutilisées

Pas de résumé disponible.