Узагальнена композиційна модель символьної обробки
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Узагальнена композиційна модель символьної обробки
|
|
| Creator |
Винник, В.Ю.
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей. 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. В концептуально-методологической среде композиционного и экспликативного программирования рассматривается задача построения системы взаимосвязанных адекватных математических моделей семантики программ символьной обработки, отображающих естественную логику процессов программирования и специфику предметной области. Предложено общее понятие композиционной системы символьной обработки в качестве абстрактной основы такой экспликации и продемонстрировано его развертывание до более конкретных моделей. |
|
| Date |
2008-07-18T13:48:28Z
2008-07-18T13:48:28Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1065 681.3.06 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|