Система композиционно-номинативного программирования SCRIPT.NET
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программи...
Saved in:
| Date: | 2008 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1480 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862737949435625472 |
|---|---|
| author | Процик, П.П. |
| author_facet | Процик, П.П. |
| citation_txt | Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T20:01:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1480 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T20:01:53Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Процик, П.П. 2008-07-31T14:17:05Z 2008-07-31T14:17:05Z 2008 Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1480 681.3.06 Работа посвящена описанию системы прикладного программирования 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. ru Інститут програмних систем НАН України Формальні методи програмування Система композиционно-номинативного программирования SCRIPT.NET A Composition-Nominative Programming System Script.NET Article published earlier |
| spellingShingle | Система композиционно-номинативного программирования SCRIPT.NET Процик, П.П. Формальні методи програмування |
| title | Система композиционно-номинативного программирования SCRIPT.NET |
| title_alt | A Composition-Nominative Programming System Script.NET |
| title_full | Система композиционно-номинативного программирования SCRIPT.NET |
| title_fullStr | Система композиционно-номинативного программирования SCRIPT.NET |
| title_full_unstemmed | Система композиционно-номинативного программирования SCRIPT.NET |
| title_short | Система композиционно-номинативного программирования SCRIPT.NET |
| title_sort | система композиционно-номинативного программирования script.net |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1480 |
| work_keys_str_mv | AT procikpp sistemakompozicionnonominativnogoprogrammirovaniâscriptnet AT procikpp acompositionnominativeprogrammingsystemscriptnet |