Liste des citations dans Numdam pour : Sémantique algébrique d'un langage de programmation type Algol

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 237-263 / Harvested from Numdam

Arnold, André

Sémantique algébrique de l'appel par valeur
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 69-82 / Harvested from Numdam

Guessarian, Irène

Les tests et leur caractérisation syntaxique
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 133-156 / Harvested from Numdam