Université de Montréal - EBSI - Yves MARCOUX - Recherche

Puissance expressive des structures de contrôle dans les systèmes de programmation

Responsable(s) : Yves Marcoux

Objectif : Étudier de façon théorique la puissance expressive relative de différentes structures de contrôle dans les systèmes de programmation. (Ce projet fait suite à la thèse de doctorat du chercheur.)

Méthodologie suivie : Étude théorique, démonstrations formelles.

Résultats obtenus ou escomptés : Une meilleure compréhension des différentes structures de contrôle utilisables dans les systèmes de programmation.

Statut : Terminé

Publication : MARCOUX, Yves. «Composition is almost (but not quite) as good as s-1-1.» Theoretical Computer Science, Vol. 120 (1993), Elsevier, pp. 169-195.

Information à jour le 20 janvier 1999