scientific article; zbMATH DE number 579118
zbMath0814.68067MaRDI QIDQ4293638
Publication date: 31 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinecomputabilitycompileraccumulatorflow chartssemi-Thue systemsverification of programsloop programssyntax analysissyntax and semantics of programming languagesassembler and machine languagecomputing machinegrammars of the Chomsky hierarchymu-recursivenessnormalized register machinetop-down- and bottom-up-programmingGogo-programsstructured register machine program
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Parallel algorithms in computer science (68W10) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01)
This page was built for publication: