Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- TermWare
- 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
-
1
TermWare3 – term rewriting system, based on context-term calculus
Опубліковано 2019Отримати повний текст
Стаття -
2
Static analysis of .NET programs using rewriting rules
Опубліковано 2020Отримати повний текст
Стаття