Biryukov, A. N.; Kurochkin, V. M.; Serebryakov, V. A. Globale Attribute und ihre Verwendung bei der Definition von Programmiersprachen. (Russian) Zbl 0481.68010 Zh. Vychisl. Mat. Mat. Fiz. 20, 1284-1293 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Review MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N01 General topics in the theory of software 68Q45 Formal languages and automata 68Q55 Semantics in the theory of computing Keywords:programming languages; global attributes for correctness of programs Citations:Zbl 0169.014; Zbl 0221.68014 PDF BibTeX XML Cite \textit{A. N. Biryukov} et al., Zh. Vychisl. Mat. Mat. Fiz. 20, 1284--1293 (1980; Zbl 0481.68010) OpenURL