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

• Дата: 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 назв. — рос.

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