A model for the formal definition of programming languages

DOI10.1080/00207167308803072zbMath0273.68052OpenAlexW2007940614MaRDI QIDQ5180869

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

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

Related Items (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

Cites Work

• Programmed Grammars and Classes of Formal Languages
• Unnamed Item

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