ملخص: On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement.

طبعة: Grenoble: Université Scientifique et Médical de Grenoble
لغة: فرنسية
الوصف المادي: 1 vol. ([10]-201 p.) ill. ;21 cm
الشهادة: Docteur Es Sciences
مؤسسة مناقشة الرسالة: Université Scientifique et Médical de Grenoble
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Programmation générique

ملاحظة: Bibliogr.pp.192-201