241 Software definition, Implementation of software
241.1 Editors, Assemblers, Macro generators
241.2 Compilers, Compiler generators (Lexical analysis, Parsing, Semantic analysis, Code generation, Code optimization)
241.3 Interpreters
241.4 Loaders
241.5 Portability, Macro generators, Portability via higher level languages
241.8 Semantics of programming languages (see also 252.4)
241.83 Implementation models
241.84 Axiomatic semantics
241.85 Denotational semantics
241.88 Program correctness