Search Results - "TermWare"
Suggested Topics within your search.
Suggested Topics within your search.
- TermWare 1
- 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
-
1
TermWare3 – term rewriting system, based on context-term calculus
Published in PROBLEMS IN PROGRAMMING (2019)
Get full text
Article