The formalization of some context conditions of programming languages

DOI10.1016/0041-5553(74)90082-2MaRDI QIDQ4068051zbMATH OpenOpenAlexFDO

Authors I. L. Bratchikov, Kh. I. Toĭrikh

Publication date 1975

Published in USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0041-5553(74)90082-2

Mathematics Subject Classification ID

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

Cited in

(5)

• A model of the loop formation process on knitting machines using finite automata theory
• Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure
• Toward complete programming language descriptions that are both formal and understandable
• scientific article; zbMATH DE number 3874650 (Why is no real title available?)
• Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations

This page was built for publication: The formalization of some context conditions of programming languages

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