Cover Image

Узагальнена композиційна модель символьної обробки

У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної обла...

Full description

Saved in:

Bibliographic Details
Date:	2003
Main Author:	Винник, В.Ю.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2003
Subjects:	Теоретические и методологические основы программирования
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/1065
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ
by: Vinnik, V.Yu.
Published: (2015)

Процесологічні середовища моделювання
by: Редько, И.В.
Published: (2003)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004)

Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
by: Петрушенко, А.М., et al.
Published: (2004)

Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)

Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)

Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003)

Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)

Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)

Инсерционное моделирование
by: Летичевский, А.Ад.
Published: (2012)

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
by: Тарасевич, Ю.И.
Published: (2013)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
by: Гончарук, В.В., et al.
Published: (2007)

Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)

The Conception and Application of PFL: a Process Functional Programming Language
by: Kollar, Jan
Published: (2004)

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
by: Мамченко, А.В., et al.
Published: (2008)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
by: Самсони-Тодоров, А.О., et al.
Published: (2013)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
by: Поляков, В.Л.
Published: (2008)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
by: Поляков, В.Л.
Published: (2011)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
by: Поляков, В.Л.
Published: (2012)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
by: Стрельцова, Е.А., et al.
Published: (2008)

Теоретические проблемы устойчивости броуновских дисперсных систем
by: Мищук, Н.А.
Published: (2011)

Композиційна структура щедрівок
by: Панчук, О.
Published: (2005)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2003)

Логарифмічна обробка зображень. Частина 2: узагальнена модель
by: Воробель, Р.А.
Published: (2009)

Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
by: Глибовець, М.М., et al.
Published: (2004)

Синтезаторы речи с MS SAPI интерфейсом для скринридеров
by: Юсим, Г.В.
Published: (2004)

Структурированные семантические сети в распределенной разработке многоязыковых словарей
by: Кульчицький, Б.Н., et al.
Published: (2004)

Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
by: Максимей, И.В., et al.
Published: (2003)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
by: Теленик, С.Ф., et al.
Published: (2004)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
by: Булавенко, О.Н., et al.
Published: (2004)