Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильн...
Збережено в:
| Дата: | 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| id |
irk-123456789-114079 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1140792017-02-27T03:02:03Z Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании Львов, М.С. Теоретичні та методологічні основи програмування В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1. 2015 Article Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/114079 004.421.6 ru Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Львов, М.С. Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании Проблеми програмування |
| description |
В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1. |
| format |
Article |
| author |
Львов, М.С. |
| author_facet |
Львов, М.С. |
| author_sort |
Львов, М.С. |
| title |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_short |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_full |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_fullStr |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_full_unstemmed |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_sort |
статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2015 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/114079 |
| citation_txt |
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT lʹvovms statičeskijanalizfizičeskihrazmernostejperemennyhprogrammiegorealizaciâvalgebraičeskomprogrammirovanii |
| first_indexed |
2023-10-18T20:23:59Z |
| last_indexed |
2023-10-18T20:23:59Z |
| _version_ |
1796150052813537280 |