Une formalisation de la sémantique des langages de programmation
J.-P. Finance (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Une formalisation de la sémantique des langages de programmation”
Une formalisation de la sémantique des langages de programmation
Parallélisation sémantique
P. Jouvelot, P. Feautrier (1990)
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:
Sémantique des structures de contrôle
Bernard Robinet, François Nozick (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sémantique algébrique de l'appel par valeur
André Arnold (1978)
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:
La formalisation des langages de programmation
C. Pair (1971)
Mathématiques et Sciences Humaines
Similarity: