scientific article; zbMATH DE number 3474937

MaRDI QIDQ4058103zbMATH OpenFDO

Authors M. Amirchahy, Monique Mazaud, David L. Neel

Publication date 1975

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(1)

• Correctness proofs of syntax-directed processing descriptions by attributes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4058103)