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.
Мова:	English
Опубліковано:	Інститут програмних систем НАН України 2013
Назва видання:	Проблеми програмування
Теми:	Формальні методи розробки програмного забезпечення
Онлайн доступ:	http://dspace.nbuv.gov.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

id	irk-123456789-86650
record_format	dspace
spelling	irk-123456789-866502015-09-26T03:01:31Z Partial evaluation in insertion modeling system Peschanenko, V. Формальні методи розробки програмного забезпечення 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 described in the paper. The concep-tion of partial evaluation in insertion modeling is presented. 2013 Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86650 004.2,004.4 en Проблеми програмування Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
topic	Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення
spellingShingle	Формальні методи розробки програмного забезпечення Формальні методи розробки програмного забезпечення Peschanenko, V. Partial evaluation in insertion modeling system Проблеми програмування
description	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 described in the paper. The concep-tion of partial evaluation in insertion modeling is presented.
author	Peschanenko, V.
author_facet	Peschanenko, V.
author_sort	Peschanenko, V.
title	Partial evaluation in insertion modeling system
title_short	Partial evaluation in insertion modeling system
title_full	Partial evaluation in insertion modeling system
title_fullStr	Partial evaluation in insertion modeling system
title_full_unstemmed	Partial evaluation in insertion modeling system
title_sort	partial evaluation in insertion modeling system
publisher	Інститут програмних систем НАН України
publishDate	2013
topic_facet	Формальні методи розробки програмного забезпечення
url	http://dspace.nbuv.gov.ua/handle/123456789/86650
citation_txt	Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ.
series	Проблеми програмування
work_keys_str_mv	AT peschanenkov partialevaluationininsertionmodelingsystem
first_indexed	2023-10-18T19:33:50Z
last_indexed	2023-10-18T19:33:50Z
_version_	1796147302699630592

Partial evaluation in insertion modeling system

Репозитарії

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