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