Correctness proofs of syntax directed processing, Description by attributes
- FR UMR7117 CP-B-2-a-CP221
- Pièce
- 1979-08-01
Fait partie de Fonds Claude Pair
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes
Claude Pair