Система композиционно-номинативного программирования SCRIPT.NET
Работа посвящена описанию системы прикладного программирования Script.NET. Она построена на едином методологическом базисе композиционно-номинативного подхода. Цель работы – объединить глубокие математические основы данного подхода с широкими выразительными возможностями современных языков программи...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | Процик, П.П. |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 UkraineСхожі ресурси
-
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
за авторством: Безверха, М.А., та інші
Опубліковано: (2010) -
Применение систем переписывания термов к анализу исходного программного кода
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008) -
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2008) -
Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2008) -
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2010)