Наукова електронна бібліотека
періодичних видань НАН України

Система композиционно-номинативного программирования SCRIPT.NET

Репозиторій DSpace/Manakin

Показати простий запис статті

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


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис