Наукова періодика України | Проблеми програмування | ||
Львов М. С. Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М. С. Львов // Проблеми програмування. - 2015. - № 2. - С. 3-12. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2015_2_2 Рассмотрен класс "физических" программ - т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Использованы алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1. Цитованість авторів публікації: Бібліографічний опис для цитування: Львов М. С. Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М. С. Львов // Проблеми програмування. - 2015. - № 2. - С. 3-12. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2015_2_2.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |