Un modèle fonctionnel des structures de contrôle
B. Robinet (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Sémantique du parallélisme et du choix du langage Electre”
Un modèle fonctionnel des structures de contrôle
Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique des structures de contrôle
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
La formalisation des langages de programmation
C. Pair (1971)
Mathématiques et Sciences Humaines
Similarity:
Sémantique algébrique d'un langage de programmation type Algol
Laurent Kott (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Note sur la sémantique des structures de contrôle
P. Sallé (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Systèmes de déduction pour les arbres et les schémas de programme (II)
P. Enjalbert (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Langages persistants
A. Alaiwan (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: