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