×

Globale Attribute und ihre Verwendung bei der Definition von Programmiersprachen. (Russian) Zbl 0481.68010


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
PDF BibTeX XML Cite