Зображення обкладинки

Partial evaluation in insertion modeling system

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of insertion modeling are stated. The main features of partial evaluation are descri...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2013
Автор:	Peschanenko, V.
Мова:	Англійська
Опубліковано:	Інститут програмних систем НАН України 2013
Теми:	Формальні методи розробки програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/86650
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
за авторством: Яценко, Е.А.
Опубліковано: (2013)

Подходы и задачи композиции сервисов в семантическом Web окружении
за авторством: Дерецкий, В.А.
Опубліковано: (2008)

Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
за авторством: Слабоспицька, О.О.
Опубліковано: (2018)

Определение формальных языков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2008)

Применение машинного обучения в программной инженерии: обзор
за авторством: Мороз, О.Г., та інші
Опубліковано: (2019)

Обзор современных систем и методов верификации формальных моделей
за авторством: Колчин, А.В., та інші
Опубліковано: (2012)

Модели экспертного анализа качества решений, принимаемых при управлении целевыми программами
за авторством: Ильина, Е.П.
Опубліковано: (2008)

Ментальные аспекты методов символьной мультиобработки
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)

Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі
за авторством: Слабоспицька, О.О.
Опубліковано: (2017)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)

C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)

Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
за авторством: Яценко, О.А.
Опубліковано: (2006)

Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2010)

О технологиях построения и обработки математических моделей программ
за авторством: Львов, С.М.
Опубліковано: (2007)

Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
за авторством: Максимець, О.М.
Опубліковано: (2012)

Оптимизация проверки выполнимости переходов при верификации формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2012)

Алгебра для описания данных в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2012)

Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
за авторством: Глибовець, М.М., та інші
Опубліковано: (2006)

Применение систем переписывания термов к анализу исходного программного кода
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Методика автоматизованої трансформації схем алгоритмів
за авторством: Шкуліпа, І.Ю., та інші
Опубліковано: (2010)

Алгебро-логічний підхід до аналізу та обробки текстової інформації
за авторством: Палагін, О.В., та інші
Опубліковано: (2010)

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2014)

Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
за авторством: Яценко, Е.А.
Опубліковано: (2012)

Нечеткие модели мультиагентных систем в распределенной среде
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2010)

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)

Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2006)

Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)

Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)

Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2008)

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)

Архітектура та функціональні можливості мультиагентної системи Навігація
за авторством: Яловець, А.Л.
Опубліковано: (2017)

Концептуальна архітектура інтегрованого середовища генеруючого програмування
за авторством: Моренцов, Є.І.
Опубліковано: (2010-12)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Insertion modeling in distributed system design
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2008)