UDC 004.4'24 1 code analysis 1 programming languages 1 software development automation term rewriting 1 termware 1 type systems 1 УДК 004.4'24 1 автоматизация разработки программного обеспечения 1 автоматизація розробки програмного забезпечення 1 алгебра типів 1 аналіз коду 1 мови програмування 1 переписування термів 1 переписывания термов 1 системи типів 1 системы типов 1 языки программирования 1