Programming Methodology in Turing-Complete Languages Научная публикация
| Конференция |
2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024 30 сент. - 2 окт. 2024 , Novosibirsk |
||||
|---|---|---|---|---|---|
| Сборник | Proceedings 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024 Сборник, IEEE. 2024. 528 c. ISBN 979-8-3315-3202-4. |
||||
| Вых. Данные | Год: 2024, Страницы: 272-276 Страниц : 5 DOI: 10.1109/sibircon63777.2024.10758446 | ||||
| Ключевые слова | polynomial computability, programming methodology, semantic programming, trustworthy artificial intelligence, Turing-complete languages | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
The paper delves into the intricacies of designing programs with polynomial computational complexity within Turing-complete languages. It proposes a novel approach to reducing high-level programming languages into p-complete ones. Based on the concept of semantic programming, the programming methodology in Turing-complete languages is developed, which allows to use of several crucial constructs such as loop operator FOR on lists, conditional operators, and specific types of recursion, albeit with certain limitations. This approach preserves the rich expressiveness of the language while ensuring polynomial complexity. The development of software products based on programming methodology allows us to guarantee their dependability, good readability, and predict the duration of their execution. These aspects are of paramount importance for the development of trustworthy artificial intelligence systems.
Библиографическая ссылка:
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology in Turing-Complete Languages
В сборнике Proceedings 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024. – IEEE., 2024. – C.272-276. – ISBN 979-8-3315-3202-4. DOI: 10.1109/sibircon63777.2024.10758446 Scopus OpenAlex
Programming Methodology in Turing-Complete Languages
В сборнике Proceedings 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024. – IEEE., 2024. – C.272-276. – ISBN 979-8-3315-3202-4. DOI: 10.1109/sibircon63777.2024.10758446 Scopus OpenAlex
Даты:
| Опубликована в печати: | 26 нояб. 2024 г. |
| Опубликована online: | 26 нояб. 2024 г. |
Идентификаторы БД:
| Scopus: | 2-s2.0-85212159329 |
| OpenAlex: | W4404741295 |
Цитирование в БД:
| БД | Цитирований |
|---|---|
| Scopus | 1 |