Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании

В работе рассматривается класс «физических» программ  т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильн...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2015
Автор: Львов, М.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2015
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/114079
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine