Применение систем переписывания термов к анализу исходного программного кода
Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определе...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1486 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862689436181987328 |
|---|---|
| author | Дорошенко, А.Е. Шевченко, Р.С. |
| author_facet | Дорошенко, А.Е. Шевченко, Р.С. |
| citation_txt | Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус. |
| collection | DSpace DC |
| description | Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определенные аспекты поведения программы, вместо полной формальной модели. Описаны два практических приложения системы TermWare – статический анализатор исходного кода для Java и система частичного выполнения Java-програм.
The term-rewriting system TermWare and its application to the analysis and transformation of source code are described. The feature of the approach is combining declarative and imperative styles and construction of weak approximations of program computational semantics, representing certain aspects of program behavior, instead of complete formal model. Two practical applications of TermWare system are described – static analyzer of source code for Java and system of partial evaluation of the Java-programs.
|
| first_indexed | 2025-12-07T16:11:39Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1486 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T16:11:39Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Е. Шевченко, Р.С. 2008-07-31T14:26:51Z 2008-07-31T14:26:51Z 2008 Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1486 681.3 Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определенные аспекты поведения программы, вместо полной формальной модели. Описаны два практических приложения системы TermWare – статический анализатор исходного кода для Java и система частичного выполнения Java-програм. The term-rewriting system TermWare and its application to the analysis and transformation of source code are described. The feature of the approach is combining declarative and imperative styles and construction of weak approximations of program computational semantics, representing certain aspects of program behavior, instead of complete formal model. Two practical applications of TermWare system are described – static analyzer of source code for Java and system of partial evaluation of the Java-programs. ru Інститут програмних систем НАН України Формальні методи програмування Применение систем переписывания термов к анализу исходного программного кода Application of Rewriting Term System for Source Code Analysis Article published earlier |
| spellingShingle | Применение систем переписывания термов к анализу исходного программного кода Дорошенко, А.Е. Шевченко, Р.С. Формальні методи програмування |
| title | Применение систем переписывания термов к анализу исходного программного кода |
| title_alt | Application of Rewriting Term System for Source Code Analysis |
| title_full | Применение систем переписывания термов к анализу исходного программного кода |
| title_fullStr | Применение систем переписывания термов к анализу исходного программного кода |
| title_full_unstemmed | Применение систем переписывания термов к анализу исходного программного кода |
| title_short | Применение систем переписывания термов к анализу исходного программного кода |
| title_sort | применение систем переписывания термов к анализу исходного программного кода |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1486 |
| work_keys_str_mv | AT dorošenkoae primeneniesistemperepisyvaniâtermovkanalizuishodnogoprogrammnogokoda AT ševčenkors primeneniesistemperepisyvaniâtermovkanalizuishodnogoprogrammnogokoda AT dorošenkoae applicationofrewritingtermsystemforsourcecodeanalysis AT ševčenkors applicationofrewritingtermsystemforsourcecodeanalysis |