Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильн...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2015 |
| 1. Verfasser: | Львов, М.С. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2015
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/114079 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Lvov, M.S.
Veröffentlicht: (2017)
von: Lvov, M.S.
Veröffentlicht: (2017)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
Об одном подходе к верификации алгебраических вычислений
von: Львов, М.С.
Veröffentlicht: (2011)
von: Львов, М.С.
Veröffentlicht: (2011)
Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Інтенсіонально-орієнтований підхід до побудови логічних систем
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
Семантичні властивості п’ятизначних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Чисті першопорядкові квазіaрні логіки з предикатами рівності
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
Алгебри квазіарних та бі-квазіарних реляцій
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Логіки квазіарних предикатів кванторно-екваційного рівня
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
Композиційно-номінативні логіки з операторами нерухомої точки
von: Нікітченко, М.С., et al.
Veröffentlicht: (2008)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2008)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Логіки, орієнтовані на специфікації програм
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
Програмування в обмеженнях у системі інсерційного моделювання
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)
Дефинитологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2012)
von: Редько, В.Н., et al.
Veröffentlicht: (2012)
Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
Insertion modeling in distributed system design
von: Letichevsky, A.A., et al.
Veröffentlicht: (2008)
von: Letichevsky, A.A., et al.
Veröffentlicht: (2008)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
von: Колчин, А.В.
Veröffentlicht: (2008)
von: Колчин, А.В.
Veröffentlicht: (2008)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
von: Новокшонов, А.К.
Veröffentlicht: (2016)
von: Новокшонов, А.К.
Veröffentlicht: (2016)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)
Программологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2008)
von: Редько, В.Н., et al.
Veröffentlicht: (2008)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
Генерувальне програмування програмних систем і їх сімейств
von: Лавріщева, К.М.
Veröffentlicht: (2009)
von: Лавріщева, К.М.
Veröffentlicht: (2009)
К-значная логика в расширенной алгебре алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)
von: Акуловский, В.Г.
Veröffentlicht: (2008)
Описание списков и множеств в метаязыке нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2020)
von: Кургаев, А.Ф.
Veröffentlicht: (2020)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
NP-трудность задач оптимизации коллективного преследования
von: Пашко, С.В.
Veröffentlicht: (2014)
von: Пашко, С.В.
Veröffentlicht: (2014)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
О построении клонов алгебр функциональных n-отношенеий
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)
von: Россада, Т.В., et al.
Veröffentlicht: (2012)
Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012)
von: Лавріщева, К.М.
Veröffentlicht: (2012)
Ähnliche Einträge
-
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Lvov, M.S.
Veröffentlicht: (2017) -
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007) -
Об одном подходе к верификации алгебраических вычислений
von: Львов, М.С.
Veröffentlicht: (2011) -
Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010) -
Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)