Partial evaluation in insertion modeling system
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Partial evaluation in insertion modeling system
|
|
| Creator |
Peschanenko, V.
|
|
| Subject |
Формальні методи розробки програмного забезпечення
|
|
| 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.
|
|
| Date |
2015-09-25T14:52:08Z
2015-09-25T14:52:08Z 2013 |
|
| Identifier |
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 |
|
| Language |
en
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|