Correctness proofs of syntax directed processing, Description by attributes

Zone d'identification

Cote

FR UMR7117 CP-CP210/CP222-CP221

Titre

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

Claude Pair

(1934 - 2020)

Notice biographique

Dépôt

Archives Henri-Poincaré

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

Descriptions associées

Zone des notes

Identifiant(s) alternatif(s)

Mots-clés

Mots-clés - Sujets

Mots-clés - Lieux

Mots-clés - Noms

Mots-clés - Genre

Zone du contrôle de la description

Identifiant de la description

Identifiant du service d'archives

Règles et/ou conventions utilisées

Statut

Niveau de détail

Dates de production, de révision, de suppression

Langue(s)

Écriture(s)

Sources

Zone des entrées

Pièce CP221 - Correctness proofs of syntax directed processing, Description by attributes