CV Accueil - Archive ouverte HAL

Publications

	Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches Frédéric Loulergue , Simon Robillard , Julien Tesson , Joeffrey Legaux , Zhenjiang Hu Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France Communication dans un congrès hal-00979092v1
	Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem Frédéric Loulergue , Simon Robillard , Julien Tesson , Joeffrey Legaux , Zhenjiang Hu ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea Communication dans un congrès hal-00905950v1