| Title: | Semantic theory of programs in next-generation intelligent computer systems |
| Other Titles: | Семантическая теория программ в интеллектуальных компьютерных системах нового поколения |
| Authors: | Zotov, N. |
| Keywords: | материалы конференций;knowledge representation language;programming language;method representation language;software computer system;ontological approach;denotational and operational semantics of a language;procedural programming language;non-procedural programming language;ostis-systems language |
| Issue Date: | 2022 |
| Publisher: | БГУИР |
| Citation: | Zotov, N. Semantic theory of programs in next-generation intelligent computer systems = Семантическая теория программ в интеллектуальных компьютерных системах нового поколения / N. Zotov // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2022) : сборник научных трудов / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: В. В. Голенков [и др.]. – Минск, 2022. – Вып. 6. – С. 145–160. |
| Abstract: | Despite the active development and usage of programming languages, currently, there is no general theory of programs on the basis of which it would be possible to design and develop applied systems. In this article, the unified ontology of programming languages and representation of programs in different programming languages is proposed. The work demonstrates the features of the representation of programs and key points of the process of their interpretation. |
| Alternative abstract: | Несмотря на активное развитие и использование языков программирования, общей теории программ, на основе которой можно было бы проектировать и разрабатывать прикладные системы, на данный момент не существует. В данной работе предлагается единая онтология языков программирования и представления программ на разных языках программирования. Работа показывает особенности представления программ и ключевые моменты процесса их интерпретации. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/49393 |
| Appears in Collections: | OSTIS-2022
|
