Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/49393
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

Files in This Item:
File Description SizeFormat 
Zotov_Semantic.pdf234.33 kBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.