Об одном подходе к проектированию алгебраических типов данных
Робота присвячена методам вирішення проблем які виникли при проектуванні алгебраїчних типів даних шкільної системи
 комп’ютерної алгебри Терм. Описана ієрархія алгебраїчних типів даних цієї системи, розглянуті основні методи проектуванні та
 реалізації алгебраїчних обчислень, які ґру...
Saved in:
| Date: | 2006 |
|---|---|
| Main Author: | Песчаненко, В.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1640 |
| 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: | Об одном подходе к проектированию алгебраических типов данных / В.С. Песчаненко // Проблеми програмування. — 2006. — N 2-3. — С. 626-634. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
Средства кодогенерации для взаимодействия с базой данных через объекты
by: Лихацкий, И.А.
Published: (2012)
by: Лихацкий, И.А.
Published: (2012)
Применение XML-представлений для интеграции данных в промысловой геофизике
by: Тульчинский, В.Г., et al.
Published: (2010)
by: Тульчинский, В.Г., et al.
Published: (2010)
Об одном подходе к верификации алгебраических вычислений
by: Львов, М.С.
Published: (2011)
by: Львов, М.С.
Published: (2011)
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006)
by: Пантелеймонов, А.А.
Published: (2006)
Метод об'єктно-компонентного проектування програмних систем
by: Грищенко, В.М.
Published: (2007)
by: Грищенко, В.М.
Published: (2007)
Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
by: Зінькович, В.М., et al.
Published: (2006)
by: Зінькович, В.М., et al.
Published: (2006)
Засоби автоматизації генерації електронних документів в системах організаційного управління
by: Хмелюк, В.С., et al.
Published: (2008)
by: Хмелюк, В.С., et al.
Published: (2008)
Граматика мови візуального програмування Петрі-об’єктних моделей
by: Дифучин, А.Ю., et al.
Published: (2021)
by: Дифучин, А.Ю., et al.
Published: (2021)
Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів
by: Рогушина, Ю.В., et al.
Published: (2022)
by: Рогушина, Ю.В., et al.
Published: (2022)
Программа проверки орфографии (spellchecker) на основе распределенных представлений
by: Омельченко, Р.С.
Published: (2013)
by: Омельченко, Р.С.
Published: (2013)
Представление графического интерфейса пользователя для тестирования программ
by: Пригожев, А.С.
Published: (2010)
by: Пригожев, А.С.
Published: (2010)
Програмна платформа для наукових досліджень
by: Дорошенко, А.Ю., et al.
Published: (2007)
by: Дорошенко, А.Ю., et al.
Published: (2007)
Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій
by: Глибовець, М.М., et al.
Published: (2013)
by: Глибовець, М.М., et al.
Published: (2013)
Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
by: Иовчев, В.А., et al.
Published: (2010)
by: Иовчев, В.А., et al.
Published: (2010)
О алгоритме перевода документов msc в сети Петри
by: Чугаенко, А.В., et al.
Published: (2008)
by: Чугаенко, А.В., et al.
Published: (2008)
TermWare-3 – система переписування термів, заснована на контекстному численні
by: Шевченко, Р.С., et al.
Published: (2019)
by: Шевченко, Р.С., et al.
Published: (2019)
Спеціалізоване програмне забезпечення для моделювання динамічної консолідації віртуальних машин
by: Жаріков, Е.В., et al.
Published: (2022)
by: Жаріков, Е.В., et al.
Published: (2022)
До питання оптимізації хмарних обчислень з урахуванням їх вартості
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
by: Воног, С.Н., et al.
Published: (2006)
by: Воног, С.Н., et al.
Published: (2006)
Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
by: Дорошенко, А.Ю., et al.
Published: (2018)
by: Дорошенко, А.Ю., et al.
Published: (2018)
Система поддержки пользователя на основе экспертной системы
by: Пригожев, А.С., et al.
Published: (2008)
by: Пригожев, А.С., et al.
Published: (2008)
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
by: Дорошенко, А.Е., et al.
Published: (2006)
by: Дорошенко, А.Е., et al.
Published: (2006)
Экономичный интерпретатор для узлов сенсорной сети
by: Рагозин, Д.В.
Published: (2006)
by: Рагозин, Д.В.
Published: (2006)
Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
by: Фісун, М.Т., et al.
Published: (2006)
by: Фісун, М.Т., et al.
Published: (2006)
Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
by: Ластовченко, М.М., et al.
Published: (2006)
by: Ластовченко, М.М., et al.
Published: (2006)
Особенности языка VHDL для программирования кристаллов ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2006)
by: Опанасенко, В.Н., et al.
Published: (2006)
Модель перевірки компонентів та їх композиції у компонентну систему
by: Рожнов, А.М.
Published: (2006)
by: Рожнов, А.М.
Published: (2006)
A resource limited parallel program model
by: Rahozin, D.V.
Published: (2019)
by: Rahozin, D.V.
Published: (2019)
Паралельна розподілена реалізація моделювання паралельних обчислень
by: Дорошенко, А.Ю., et al.
Published: (2014)
by: Дорошенко, А.Ю., et al.
Published: (2014)
Застосування засобів нейроеволюції в технічних системах автоматизації керування
by: Дорошенко, А.Ю., et al.
Published: (2021)
by: Дорошенко, А.Ю., et al.
Published: (2021)
Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
by: Слабоспицька, О.О.
Published: (2015)
by: Слабоспицька, О.О.
Published: (2015)
О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
by: Яценко, Е.А.
Published: (2011)
by: Яценко, Е.А.
Published: (2011)
Интерфейс в программировании
by: Лаврищева, Е.М.
Published: (2007)
by: Лаврищева, Е.М.
Published: (2007)
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
by: Мамедов, Т.А., et al.
Published: (2019)
by: Мамедов, Т.А., et al.
Published: (2019)
Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
by: Дорошенко, А.Ю., et al.
Published: (2021)
by: Дорошенко, А.Ю., et al.
Published: (2021)
Ефективний емпіричний метод дедублікації на файловому рівні
by: Піговський, Ю.Р.
Published: (2014)
by: Піговський, Ю.Р.
Published: (2014)
Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
by: Дорошенко, А.Ю., et al.
Published: (2019)
by: Дорошенко, А.Ю., et al.
Published: (2019)
Оптимізація автотьюнінгу програм з використанням нейромереж
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Similar Items
-
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
by: Акуловский, В.Г.
Published: (2008) -
Средства кодогенерации для взаимодействия с базой данных через объекты
by: Лихацкий, И.А.
Published: (2012) -
Применение XML-представлений для интеграции данных в промысловой геофизике
by: Тульчинский, В.Г., et al.
Published: (2010) -
Об одном подходе к верификации алгебраических вычислений
by: Львов, М.С.
Published: (2011) -
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006)