Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
The development of the algebra-algorithmic toolkit for designing and synthesis of programs for constructing of specifications of algorithms, which combine common definition of data and execution processes in algebra of algorithms with data, is proposed. The application of the proposed algebraic appr...
Збережено в:
| Дата: | 2017 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2017
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/137 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programming| Резюме: | The development of the algebra-algorithmic toolkit for designing and synthesis of programs for constructing of specifications of algorithms, which combine common definition of data and execution processes in algebra of algorithms with data, is proposed. The application of the proposed algebraic approach and the toolkit is illustrated on the example of the development of sorting programs. |
|---|