Liste des citations dans Numdam pour : Une formalisation de la sémantique des langages de programmation

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976), p. 5-21 / Harvested from Numdam

Rémy, Jean-Luc

Construction, évaluation et amélioration systématiques de structures de données
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980), p. 83-118 / Harvested from Numdam