ملخص: L'evaluation paresseuse est un mecanisme de plus en plus utilise par les langages de programmation fonctionnels. On utilise une methode autorisant les divers cas d'une meme definition a etre ambigus et que l'on ajoute une regle de priorite entre motifs ambigus pour assurer le determinisme des calculs

طبعة: Paris: Université Paris Diderot - Paris 7
لغة: فرنسية
الوصف المادي: 129 p. ill. ;30 cm.
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Université Paris Diderot - Paris 7

ملاحظة: Bibliogr p.(125-127); Tabl