Применение систем переписывания термов к анализу исходного программного кода

Применение систем переписывания термов к анализу исходного программного кода

Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определе...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автори: Дорошенко, А.Е., Шевченко, Р.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2008
Теми:
Формальні методи програмування
Онлайн доступ:http://dspace.nbuv.gov.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
id irk-123456789-1486
record_format dspace
spelling irk-123456789-14862008-09-29T19:02:13Z Применение систем переписывания термов к анализу исходного программного кода Дорошенко, А.Е. Шевченко, Р.С. Формальні методи програмування Описана система переписывания термов 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. 2008 Article Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1486 681.3 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Формальні методи програмування
Формальні методи програмування
spellingShingle Формальні методи програмування
Формальні методи програмування
Дорошенко, А.Е.
Шевченко, Р.С.
Применение систем переписывания термов к анализу исходного программного кода
description Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определенные аспекты поведения программы, вместо полной формальной модели. Описаны два практических приложения системы TermWare – статический анализатор исходного кода для Java и система частичного выполнения Java-програм.
format Article
author Дорошенко, А.Е.
Шевченко, Р.С.
author_facet Дорошенко, А.Е.
Шевченко, Р.С.
author_sort Дорошенко, А.Е.
title Применение систем переписывания термов к анализу исходного программного кода
title_short Применение систем переписывания термов к анализу исходного программного кода
title_full Применение систем переписывания термов к анализу исходного программного кода
title_fullStr Применение систем переписывания термов к анализу исходного программного кода
title_full_unstemmed Применение систем переписывания термов к анализу исходного программного кода
title_sort применение систем переписывания термов к анализу исходного программного кода
publisher Інститут програмних систем НАН України
publishDate 2008
topic_facet Формальні методи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/1486
citation_txt Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус.
work_keys_str_mv AT dorošenkoae primeneniesistemperepisyvaniâtermovkanalizuishodnogoprogrammnogokoda
AT ševčenkors primeneniesistemperepisyvaniâtermovkanalizuishodnogoprogrammnogokoda
first_indexed 2023-03-24T08:22:01Z
last_indexed 2023-03-24T08:22:01Z
_version_ 1796138895941828608

Схожі ресурси