Thèse soutenue

Implantation parallele avec la logique lineaire (application des reseaux d'interaction et de la geometrie d'interaction)

FR
Auteur / Autrice : ZORGE SOUSA PINTO
Direction : Ian Mackie
Type : Thèse de doctorat
Discipline(s) : Sciences et techniques
Date : Soutenance en 2001
Etablissement(s) : Palaiseau, Ecole polytechnique

Résumé

FR

La logique lineaire a eu un impact tres important en informatique theorique car elle permet de decomposer les calculs. Dans cette these nous nous interessons a deux modeles pour les calculs derives de la logique lineaire, les reseaux d'interaction et la geometrie de l'interaction. En plus de la decomposition fine du calcul, ces modeles partagent une propension naturelle pour l'execution parallele. Le but de la these a ete precisement d'etudier plusieurs implantations des deux modeles. Grace a la possibilite de compiler des expressions fonctionnelles, on peut ainsi obtenir des mecanismes pour l'evaluation parallele des programmes fonctionnels.