A model for the formal definition of programming languages

DOI10.1080/00207167308803072MaRDI QIDQ5180869zbMATH OpenOpenAlexFDO

Authors Karel II Culik

Publication date 1973

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207167308803072

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cites work

• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Programmed Grammars and Classes of Formal Languages

Cited in

(4)

• An attributed translation grammar for PL/0
• A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
• A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0
• Correctness of a lucid interpreter based on linked forest manipulation systems

This page was built for publication: A model for the formal definition of programming languages

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