Dynamic template translators—a new device for specifying programming languages

DOI10.1080/00207168708803593MaRDI QIDQ3804225zbMATH OpenOpenAlexFDO

Authors K. P. Mason

Publication date 1987

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

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

zbMATH Keywords

context free translationdynamic template translatorformal specificationproduction rules

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3963168
• scientific article; zbMATH DE number 3273533
• One approach to the specification and verification of translators

This page was built for publication: Dynamic template translators—a new device for specifying programming languages

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