Sémantique d’un langage de squelettes

Ce travail est une continuation du stage de master de Nicolas Lupinski encadré par Joël Falcou et Christine Paulin-Mohring.

On s’intéresse à la sémantique d’un langage de squelettes offrant des primitives de haut niveau pour la parallélisation de programmes.

• Description du travail (rapport)
• Code Coq pour la sémantique relationelle
• Code JoCaml pour la sémantique opérationelle

This document was translated from L^AT_EX by H^EV^EA.