Sémantique algébrique de l'appel par valeur
André Arnold (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Les tests et leur caractérisation syntaxique”
Sémantique algébrique de l'appel par valeur
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:
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:
Étude et implémentation d'un système de déduction pour logique algorithmique
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
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:
À propos de la sémantique de l'appel par valeur selon A. Arnold
I. Guessarian (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: