Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильн...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2015 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/114079 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862591213918486528 |
|---|---|
| author | Львов, М.С. |
| author_facet | Львов, М.С. |
| citation_txt | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1.
|
| first_indexed | 2025-11-27T06:59:03Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-114079 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-27T06:59:03Z |
| publishDate | 2015 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Львов, М.С. 2017-02-26T16:49:14Z 2017-02-26T16:49:14Z 2015 Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании / М.С. Львов // Проблеми програмування. — 2015. — № 2. — С. 3-12. — Бібліогр.: 11 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/114079 004.421.6 В работе рассматривается класс «физических» программ т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1. Автор благодарит профессора Г.Н. Жолткевича за формулировку проблемы и полезные ее обсуждения, а также академика А.А. Летичевского за многолетнее сотрудничество в области алгебраического программирования. ru Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании Article published earlier |
| spellingShingle | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании Львов, М.С. Теоретичні та методологічні основи програмування |
| title | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_full | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_fullStr | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_full_unstemmed | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_short | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| title_sort | статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/114079 |
| work_keys_str_mv | AT lʹvovms statičeskiianalizfizičeskihrazmernosteiperemennyhprogrammiegorealizaciâvalgebraičeskomprogrammirovanii |