Cover Image

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...

Full description

Saved in:

Bibliographic Details
Published in:	Проблеми програмування
Date:	2013
Main Author:	Peschanenko, V.
Language:	English
Published:	Інститут програмних систем НАН України 2013
Subjects:	Формальні методи розробки програмного забезпечення
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/86650
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:	Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

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

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

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

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

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

Применение машинного обучения в программной инженерии: обзор
by: Мороз, О.Г., et al.
Published: (2019)

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

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

Ментальные аспекты методов символьной мультиобработки
by: Цейтлин, Г.Е., et al.
Published: (2008)

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

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

APS C++ User's Library
by: Letichevsky, A., et al.
Published: (2008)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2022)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2022)

C# program verification problems: solution by a three-level method
by: Promsky, A.V.
Published: (2008)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

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

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

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

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

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

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

Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
by: Глибовець, М.М., et al.
Published: (2006)

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

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

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

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
by: Колчин, А.В., et al.
Published: (2014)

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

Нечеткие модели мультиагентных систем в распределенной среде
by: Парасюк, И.Н., et al.
Published: (2010)

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
by: Непомнящий, В.А., et al.
Published: (2006)

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

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

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

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

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

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

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

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Insertion modeling in distributed system design
by: Letichevsky, A.A., et al.
Published: (2008)