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

• 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é

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.