Zone d'identification
Cote
FR UMR7117 CP-CP210/CP222-CP221
Titre
Correctness proofs of syntax directed processing, Description by attributes
Date(s)
- 1979-08-01 (Production)
Niveau de description
Pièce
Étendue matérielle et support
Un article en anglais de 18 pages
Zone du contexte
Nom du producteur
Dépôt
Histoire archivistique
Source immédiate d'acquisition ou de transfert
Zone du contenu et de la structure
Portée et contenu
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes