Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
В роботі проводиться моделювання структур даних мов програмування та функцій над ними засобами композиційно- номінативних мов. Розглядаються всі імперативні конструктори типів RAISE. Надається модель типів, виражаються операції над даними та аналізується рівень абстрактності даних, на якому предст...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2335 |
| 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: | Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN/ Т.В. Панченко //Проблеми програмування. — 2004. — N 2-3. — С. 7-15. — Бiбліогр.: 14 назв. —укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
Теоретико-категорная характеризация развертки временных сетей Петри
von: Дубцов, Р.С.
Veröffentlicht: (2004)
von: Дубцов, Р.С.
Veröffentlicht: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)
Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)
von: Грищенко, В.Н.
Veröffentlicht: (2003)
Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
Узагальнена композиційна модель символьної обробки
von: Винник, В.Ю.
Veröffentlicht: (2003)
von: Винник, В.Ю.
Veröffentlicht: (2003)
Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)
von: Редько, И.В.
Veröffentlicht: (2003)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
von: Грибовская, Н.С.
Veröffentlicht: (2004)
von: Грибовская, Н.С.
Veröffentlicht: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
von: Антонцева, М.Ф.
Veröffentlicht: (2004)
von: Антонцева, М.Ф.
Veröffentlicht: (2004)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)
von: Редько, И.В.
Veröffentlicht: (2004)
Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)
Об одной геометрической модели временных параллельных процессов
von: Ошевская, Е.С,
Veröffentlicht: (2004)
von: Ошевская, Е.С,
Veröffentlicht: (2004)
О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)
von: Приходько, П.П.
Veröffentlicht: (2003)
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)
von: Летичевский, А.Ад.
Veröffentlicht: (2012)
Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
The Conception and Application of PFL: a Process Functional Programming Language
von: Kollar, Jan
Veröffentlicht: (2004)
von: Kollar, Jan
Veröffentlicht: (2004)
Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
Теоретические проблемы устойчивости броуновских дисперсных систем
von: Мищук, Н.А.
Veröffentlicht: (2011)
von: Мищук, Н.А.
Veröffentlicht: (2011)
Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2008)
von: Поляков, В.Л.
Veröffentlicht: (2008)
Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)
Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2011)
von: Поляков, В.Л.
Veröffentlicht: (2011)
Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
von: Самсони-Тодоров, А.О., et al.
Veröffentlicht: (2013)
von: Самсони-Тодоров, А.О., et al.
Veröffentlicht: (2013)
Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)
Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)
Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2012)
von: Поляков, В.Л.
Veröffentlicht: (2012)
Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
von: Тарасевич, Ю.И.
Veröffentlicht: (2013)
von: Тарасевич, Ю.И.
Veröffentlicht: (2013)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)
von: Bača, J., et al.
Veröffentlicht: (2003)
Исследование проницаемости металловолокнистых капиллярно-пористых структур вдоль плоскости войлокования
von: Шевель, Е.В., et al.
Veröffentlicht: (2015)
von: Шевель, Е.В., et al.
Veröffentlicht: (2015)
Modified ACO Algorithm for Construction of Contracts Execution Schedule
von: H. V. Oliinyk, et al.
Veröffentlicht: (2017)
von: H. V. Oliinyk, et al.
Veröffentlicht: (2017)
Новые подходы в исследовании неоднородности гетерогенных структур
von: Скобло, Т.С., et al.
Veröffentlicht: (2018)
von: Скобло, Т.С., et al.
Veröffentlicht: (2018)
Модифікований ACO алгоритм побудови календарного плану виконання договорів
von: Олійник, Г.В., et al.
Veröffentlicht: (2017)
von: Олійник, Г.В., et al.
Veröffentlicht: (2017)
Модифікований ACO алгоритм побудови календарного плану виконання договорів
von: Олійник, Ганна Вікторівна, et al.
Veröffentlicht: (2017)
von: Олійник, Ганна Вікторівна, et al.
Veröffentlicht: (2017)
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)
von: Панченко, Т.В.
Veröffentlicht: (2008)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)