Global ETD Search

1	Programmation parallèle et programmation fonctionnelle‎ : propositions pour un langage Cisneros Gascon, Maria Del Pilar 31 October 1984 (has links) (PDF) Proposition d'un langage: fpz (functional parallel programming), qui repond au modele propose en sparc quant a la communication, qui est un langage fonctionnel et qui integre la possibilite de specificication de types abstraits et de fonction generiques d'une facon semblable a lpg. Exposition de deux systemes: sparc (systemes paralleles communicants) et lpg (langage de programmation generique). programmation parallèle programmation fonctionnelle processus communicant types abstraits généricité sémantique algébrique non-déterminisme
2	Comparaison des comportements des processus communicants : application au langage FP2 Rogé, Sylvie 22 November 1986 (has links) (PDF) Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée Langage programmation Langage fonctionnel Synchronisation Comportement rendez vous Parallélisme Divergence Système réparti Processus communicant Langage FP2

Search results

Programmation parallèle et programmation fonctionnelle‎ : propositions pour un langage

Comparaison des comportements des processus communicants : application au langage FP2