Узагальнена композиційна модель символьної обробки
У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної обла...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1065 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних
математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей.
In the conceptual and methodological environment of compositional and explicative programming, a task of developing a system of interrelated adequate mathematical models of semantics of symbol processing programs that capture natural logics of programming processes and specifics of the object area, is considered. A general notion of verbal processing compositional system as an abstract basis of such an explication is proposed, and its evolution towards more concrete models is shown.
В концептуально-методологической среде композиционного и экспликативного программирования рассматривается задача построения системы взаимосвязанных адекватных математических моделей семантики программ символьной обработки, отображающих естественную логику процессов программирования и специфику предметной области. Предложено общее понятие композиционной системы символьной обработки в качестве абстрактной основы такой экспликации и продемонстрировано его развертывание до более конкретных моделей.
|
|---|---|
| ISSN: | 1727-4907 |