CP221Correctness proofs of syntax directed processing, Description by attributesArchives Henri-Poincaré91 avenue de la LibérationNancyLorraine540002020-03-09
Générer par Access to Memory (AtoM) 2.6.2 2024-03-28 21:47 UTCfrançaisSalle Archives 3ème étage
CP boîte 3 Correctness proofs of syntax directed processing, Description by attributesCP-B-2-a-CP2211979-08-01
Un article en anglais de 18 pages Archives Henri-Poincaré91 avenue de la LibérationNancyLorraine54000
Initialement conditionné dans une pochette rouge intitulée 79-80
Claude Pair
Publié
reprinted forum Journal of Computer and System SciencesVol. 19, No. 1, August 1979Correctness proofs of syntax directed processing, Description by attributes