Система композиционно-номинативного программирования SCRIPT.NET
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программи...
Збережено в:
Дата: | 2008 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2008
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1480 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-1480 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-14802008-09-29T19:03:00Z Система композиционно-номинативного программирования SCRIPT.NET Процик, П.П. Формальні методи програмування Работа посвящена описанию системы прикладного программирования 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. 2008 Article Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1480 681.3.06 ru Інститут програмних систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Формальні методи програмування Формальні методи програмування |
spellingShingle |
Формальні методи програмування Формальні методи програмування Процик, П.П. Система композиционно-номинативного программирования SCRIPT.NET |
description |
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программирования, такими как динамическая типизация, метапрограммирование, рефлексия, аспектно-ориентированный подход, механизм контрактов. Исследование их семантики с формальной точки зрения. |
format |
Article |
author |
Процик, П.П. |
author_facet |
Процик, П.П. |
author_sort |
Процик, П.П. |
title |
Система композиционно-номинативного программирования SCRIPT.NET |
title_short |
Система композиционно-номинативного программирования SCRIPT.NET |
title_full |
Система композиционно-номинативного программирования SCRIPT.NET |
title_fullStr |
Система композиционно-номинативного программирования SCRIPT.NET |
title_full_unstemmed |
Система композиционно-номинативного программирования SCRIPT.NET |
title_sort |
система композиционно-номинативного программирования script.net |
publisher |
Інститут програмних систем НАН України |
publishDate |
2008 |
topic_facet |
Формальні методи програмування |
url |
http://dspace.nbuv.gov.ua/handle/123456789/1480 |
citation_txt |
Система композиционно-номинативного программирования SCRIPT.NET / П.П. Процик // Пробл. програмув. — 2008. — N 2-3. — С. 323-331. — Бібліогр.: 8 назв. — рус. |
work_keys_str_mv |
AT procikpp sistemakompozicionnonominativnogoprogrammirovaniâscriptnet |
first_indexed |
2023-03-24T08:22:00Z |
last_indexed |
2023-03-24T08:22:00Z |
_version_ |
1796138895624110080 |