Показати простий запис статті
dc.contributor.author |
Процик, П.П. |
|
dc.date.accessioned |
2008-07-31T14:17:05Z |
|
dc.date.available |
2008-07-31T14:17:05Z |
|
dc.date.issued |
2008 |
|
dc.identifier.citation |
Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. |
en_US |
dc.identifier.issn |
1727-4907 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/1480 |
|
dc.description.abstract |
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программирования, такими как динамическая типизация, метапрограммирование, рефлексия, аспектно-ориентированный подход, механизм контрактов. Исследование их семантики с формальной точки зрения. |
en_US |
dc.description.abstract |
The purpose of an article is to introduce a system of applied programming called Script NET. It is constructed on uniform methodological basis of the composition-nominative approach. The purpose of the work is to combine deep mathematical foundations of this approach with wide expressive power of the modern trends in programming languages, such as dynamic typing, metaprogramming, reflection, aspect-oriented approach, mechanism of contracts. |
en_US |
dc.language.iso |
ru |
en_US |
dc.publisher |
Інститут програмних систем НАН України |
en_US |
dc.subject |
Формальні методи програмування |
en_US |
dc.title |
Система композиционно-номинативного программирования SCRIPT.NET |
en_US |
dc.title.alternative |
A Composition-Nominative Programming System Script.NET |
en_US |
dc.type |
Article |
en_US |
dc.status |
published earlier |
en_US |
dc.identifier.udc |
681.3.06 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті