Partial evaluation in insertion modeling system

dc.contributor.author	Peschanenko, V.
dc.date.accessioned	2015-09-25T14:52:08Z
dc.date.available	2015-09-25T14:52:08Z
dc.date.issued	2013
dc.identifier.citation	Partial evaluation in insertion modeling system / V. Peschanenko // Проблеми програмування. — 2013. — № 1. — С. 14-22. — Бібліогр.: 25 назв. — англ.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86650
dc.description.abstract	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.	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Формальні методи розробки програмного забезпечення	uk_UA
dc.title	Partial evaluation in insertion modeling system	uk_UA
dc.title.alternative	Часткові обчислення у системі інсерційного моделювання	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.2,004.4