Partial evaluation in insertion modeling system

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

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