Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- programming languages
- мови програмування 4
- языки программирования 3
- UDC 004.4'24 2
- code analysis 2
- term rewriting 2
- termware 2
- type systems 2
- УДК 004.4'24 2
- автоматизація розробки програмного забезпечення 2
- алгебра типів 2
- аналіз коду 2
- переписування термів 2
- системи типів 2
- системы типов 2
- Big Data 1
- TermWare 1
- UDC 502:004.45 (075.8) 1
- automated software design 1
- basics of programming 1
- computing strategies 1
- data processing 1
- data streams 1
- lazy operations 1
- learning 1
- optimization 1
- software development automation 1
- software engineering 1
- «ліниві обчислення» 1
- УДК 502:004.45 (075.8) 1
-
1
-
2
-
3
TermWare3 – term rewriting system, based on context-term calculus
Опубліковано 2019Отримати повний текст
Стаття -
4
Basics of programming in the context of software engineering
Опубліковано 2019Отримати повний текст
Стаття