Система композиционно-номинативного программирования SCRIPT.NET
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Система композиционно-номинативного программирования SCRIPT.NET
|
|
| Creator |
Процик, П.П.
|
|
| Subject |
Формальні методи програмування
|
|
| Description |
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программирования, такими как динамическая типизация, метапрограммирование, рефлексия, аспектно-ориентированный подход, механизм контрактов. Исследование их семантики с формальной точки зрения.
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. |
|
| Date |
2008-07-31T14:17:05Z
2008-07-31T14:17:05Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1480 681.3.06 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|