Semantic programming: method of Delta0p-enrichments and polynomial analogue of the Gandy fixed point theorem. Тезисы доклада
| Конференция |
Sixteenth Asian Logic Conference 17-21 июн. 2019 , Nazarbayev University, Nur-Sultan |
||
|---|---|---|---|
| Сборник | Sixteenth Asian Logic Conference, Nazarbayev University, Nur-Sultan, Kazakhstan, June 17-21, 2019. Сборник, 2019. |
||
| Вых. Данные | Год: 2019, Страницы: 31-32 Страниц : 2 | ||
| Ключевые слова | gandy theorem, polynomial complexity | ||
| Авторы |
|
||
| Организации |
|
Реферат:
Computer programs fast entered in our life and the questions associated with the execution of these programs have become the most relevant in our days. Programs should work efficiently, i.e. work as quickly as possible and spend as little resources as possible. Most often, such a "measure of efficiency" is the polynomial program execution time of the length of the input data. Such programs have great importance in the direction of smart contracts on blockchain.
In this article will be introduced the method of Delta0p-enrichments which will show how to switch from the usual polynomial model of M0 using Delta0p-enrichments to a model with new properties and new elements so that the new model will also be polynomial.
Библиографическая ссылка:
Nechesov A.V.
Semantic programming: method of Delta0p-enrichments and polynomial analogue of the Gandy fixed point theorem.
В сборнике Sixteenth Asian Logic Conference, Nazarbayev University, Nur-Sultan, Kazakhstan, June 17-21, 2019.. 2019. – C.31-32.
Semantic programming: method of Delta0p-enrichments and polynomial analogue of the Gandy fixed point theorem.
В сборнике Sixteenth Asian Logic Conference, Nazarbayev University, Nur-Sultan, Kazakhstan, June 17-21, 2019.. 2019. – C.31-32.
Идентификаторы БД:
Нет идентификаторов
Цитирование в БД:
Пока нет цитирований