Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
Тема:
Теоретичні та методологічні основи програмування
УДК:
004.421.6
Посилання:
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос.
Підтримка:
Автор благодарит профессора Г.Н. Жолткевича за формулировку проблемы и полезные ее обсуждения, а также академика А.А. Летичевского за многолетнее сотрудничество в области алгебраического программирования.
Дата:
2015
Переглядів:
698
Завантажень:
434
Анотація:
В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1.
