These divisions and subsets include analysis of algorithms and formal semantics of programming languages.
Estas divisións e subconxuntos inclúen análises de algoritmos e semántica formal de linguaxes de programación.