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