Zone d'identification
Cote
FR UMR7117 CP-B-2-a-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
Évaluation, élimination et calendrier de conservation
Accroissements
Mode de classement
Zone des conditions d'accès et d'utilisation
Conditions d’accès
Conditions de reproduction
Langue des documents
Écriture des documents
Notes de langue et graphie
Caractéristiques matérielle et contraintes techniques
Instruments de recherche
Zone des sources complémentaires
Existence et lieu de conservation des originaux
Existence et lieu de conservation des copies
Unités de description associées
Zone des notes
Note
Initialement conditionné dans une pochette rouge intitulée 79-80