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