Об одном подходе к проектированию алгебраических типов данных
Робота присвячена методам вирішення проблем які виникли при проектуванні алгебраїчних типів даних шкільної системи комп’ютерної алгебри Терм. Описана ієрархія алгебраїчних типів даних цієї системи, розглянуті основні методи проектуванні та реалізації алгебраїчних обчислень, які ґрунтуються на вико...
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)
Трансформация произвольных текстовых данных в 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: (2022)
by: Рогушина, Ю.В., et al.
Published: (2022)
Представление графического интерфейса пользователя для тестирования программ
by: Пригожев, А.С.
Published: (2010)
by: Пригожев, А.С.
Published: (2010)
Программа проверки орфографии (spellchecker) на основе распределенных представлений
by: Омельченко, Р.С.
Published: (2013)
by: Омельченко, Р.С.
Published: (2013)
Програмна платформа для наукових досліджень
by: Дорошенко, А.Ю., et al.
Published: (2007)
by: Дорошенко, А.Ю., et al.
Published: (2007)
Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
by: Иовчев, В.А., et al.
Published: (2010)
by: Иовчев, В.А., et al.
Published: (2010)
До питання оптимізації хмарних обчислень з урахуванням їх вартості
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
TermWare-3 – система переписування термів, заснована на контекстному численні
by: Шевченко, Р.С., et al.
Published: (2019)
by: Шевченко, Р.С., et al.
Published: (2019)
О алгоритме перевода документов msc в сети Петри
by: Чугаенко, А.В., et al.
Published: (2008)
by: Чугаенко, А.В., et al.
Published: (2008)
Спеціалізоване програмне забезпечення для моделювання динамічної консолідації віртуальних машин
by: Жаріков, Е.В., et al.
Published: (2022)
by: Жаріков, Е.В., et al.
Published: (2022)
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
by: Воног, С.Н., et al.
Published: (2006)
by: Воног, С.Н., et al.
Published: (2006)
Экономичный интерпретатор для узлов сенсорной сети
by: Рагозин, Д.В.
Published: (2006)
by: Рагозин, Д.В.
Published: (2006)
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
by: Дорошенко, А.Е., et al.
Published: (2006)
by: Дорошенко, А.Е., et al.
Published: (2006)
Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
by: Ластовченко, М.М., et al.
Published: (2006)
by: Ластовченко, М.М., et al.
Published: (2006)
Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
by: Фісун, М.Т., et al.
Published: (2006)
by: Фісун, М.Т., et al.
Published: (2006)
Особенности языка VHDL для программирования кристаллов ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2006)
by: Опанасенко, В.Н., et al.
Published: (2006)
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
by: Дорошенко, А.Ю., et al.
Published: (2012)
by: Дорошенко, А.Ю., et al.
Published: (2012)
Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
by: Дорошенко, А.Ю., et al.
Published: (2019)
by: Дорошенко, А.Ю., et al.
Published: (2019)
Интерфейс в программировании
by: Лаврищева, Е.М.
Published: (2007)
by: Лаврищева, Е.М.
Published: (2007)
Застосування засобів нейроеволюції в технічних системах автоматизації керування
by: Дорошенко, А.Ю., et al.
Published: (2021)
by: Дорошенко, А.Ю., et al.
Published: (2021)
Средства синтеза параллельных mpi-программ
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
by: Слабоспицька, О.О.
Published: (2015)
by: Слабоспицька, О.О.
Published: (2015)
О технике реляционно-объектного преобразования
by: Лихацкий, И.А.
Published: (2014)
by: Лихацкий, И.А.
Published: (2014)
Алгоритм определения изоморфизма XML-схем
by: Сергеев, А.П.
Published: (2010)
by: Сергеев, А.П.
Published: (2010)
Low-power architecture for CIL-code hardware processor
by: Chapyzhenka, A., et al.
Published: (2005)
by: Chapyzhenka, A., et al.
Published: (2005)
On decompilation of VLIW executable files
by: Jakub, K.
Published: (2015)
by: Jakub, K.
Published: (2015)
Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
by: Дорошенко, А.Ю., et al.
Published: (2019)
by: Дорошенко, А.Ю., et al.
Published: (2019)
Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
by: Дорошенко, А.Ю., et al.
Published: (2020)
by: Дорошенко, А.Ю., et al.
Published: (2020)
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
by: Мамедов, Т.А., et al.
Published: (2019)
by: Мамедов, Т.А., et al.
Published: (2019)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Оптимізація автотьюнінгу програм з використанням нейромереж
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Разработка инструментальных средств для проверки формальных моделей
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
by: Гайдукевич, Я.О., et al.
Published: (2022)
by: Гайдукевич, Я.О., et al.
Published: (2022)
О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
by: Яценко, Е.А.
Published: (2011)
by: Яценко, Е.А.
Published: (2011)
Особенности реализации многослойного сценария распределенного поиска оптимальных решений
by: Галаган, Т.Н., et al.
Published: (2008)
by: Галаган, Т.Н., et al.
Published: (2008)
Similar Items
-
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
by: Акуловский, В.Г.
Published: (2008) -
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006) -
Метод об'єктно-компонентного проектування програмних систем
by: Грищенко, В.М.
Published: (2007) -
Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
by: Зінькович, В.М., et al.
Published: (2006) -
Засоби автоматизації генерації електронних документів в системах організаційного управління
by: Хмелюк, В.С., et al.
Published: (2008)