Un système formel de transformation de programmes pour leur exécution sur machines parallèles

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00341778
2. http://tel.archives-ouvertes.fr/docs/00/34/17/78/PDF/Yu.Xiaobo_1992_these.pdf

Tags

programmation transformationnelle

programmation parallèle

système de transformation

lois algébrique de transformation

vérification formelle

placement de programmes

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00341778
Date	12 November 1992
Creators	Yu, Xiaobo
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis