мови програмування 4 programming languages 3 языки программирования 3 UDC 004.4'24 2 code analysis 2 term rewriting 2 termware 2 type systems 2 УДК 004.4'24 2 автоматизація розробки програмного забезпечення 2 алгебра типів 2 аналіз коду 2 переписування термів 2 системи типів 2 системы типов 2 Classification and Regression Trees method 1 Gini coefficient 1 Petri-object model 1 Python programming language 1 Scala 1 TermWare 1 UDC 004.424 1 UDC 004.432 1 UDC 004.43::004.94 1 UDC 502:004.45 (075.8) 1 alphabet of symbols 1 analytical activity 1 automated software design 1 basics of programming 1 compilation 1