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 |
| Автор: | |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
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| id |
nasplib_isofts_kiev_ua-123456789-86650 |
|---|---|
| record_format |
dspace |
| spelling |
Peschanenko, V. 2015-09-25T14:52:08Z 2015-09-25T14:52:08Z 2013 Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/86650 004.2,004.4 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. en Інститут програмних систем НАН України Проблеми програмування Формальні методи розробки програмного забезпечення Partial evaluation in insertion modeling system Часткові обчислення у системі інсерційного моделювання published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Partial evaluation in insertion modeling system |
| spellingShingle |
Partial evaluation in insertion modeling system Peschanenko, V. Формальні методи розробки програмного забезпечення |
| 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 |
| author |
Peschanenko, V. |
| author_facet |
Peschanenko, V. |
| topic |
Формальні методи розробки програмного забезпечення |
| topic_facet |
Формальні методи розробки програмного забезпечення |
| publishDate |
2013 |
| language |
English |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| title_alt |
Часткові обчислення у системі інсерційного моделювання |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/86650 |
| citation_txt |
Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ. |
| work_keys_str_mv |
AT peschanenkov partialevaluationininsertionmodelingsystem AT peschanenkov častkovíobčislennâusistemíínsercíinogomodelûvannâ |
| first_indexed |
2025-12-07T18:56:24Z |
| last_indexed |
2025-12-07T18:56:24Z |
| _version_ |
1850876923394129920 |