Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 2008, выпуск 8, страницы 176–186 (Mi at714)  
Автоматизация проектирования и программирования

Некоторые методы автоматизированного анализа и управляемого преобразования программ

М. А. Потапов, Е. А. Шатохин

Институт автоматизации проектирования РАН, Москва
PDF полного текста (238 kB)
Список литературы:
PDF
HTML
Аннотация: Рассматриваются принципы и методы создания программных систем, облегчающих анализ и преобразование структуры программ. При реализации масштабных проектов невозможно иметь полное представление о структуре программы без использования специальных систем. Такие системы содержат средства анализа исходной программы и в результате автоматизированного преобразования создают другую программу, обладающую заданными свойствами. В качестве примеров рассматриваются задачи быстрого автоматического дифференцирования и задачи обфускации (“затемнения”, запутывания) программ.
Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 15.12.2006
Англоязычная версия:
Automation and Remote Control, 2008, Volume 69, Issue 8, Pages 1433–1443
DOI: https://doi.org/10.1134/S0005117908080158
Реферативные базы данных:
Тип публикации: Статья
PACS: 02.70.-c
Образец цитирования: М. А. Потапов, Е. А. Шатохин, “Некоторые методы автоматизированного анализа и управляемого преобразования программ”, Автомат. и телемех., 2008, № 8, 176–186; Autom. Remote Control, 69:8 (2008), 1433–1443
Цитирование в формате AMSBIB
\RBibitem{PotSha08}
\by М.~А.~Потапов, Е.~А.~Шатохин
\paper Некоторые методы автоматизированного анализа и управляемого преобразования программ
\jour Автомат. и телемех.
\yr 2008
\issue 8
\pages 176--186
\mathnet{http://mi.mathnet.ru/at714}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2494260}
\zmath{https://zbmath.org/?q=an:1167.68364}
\transl
\jour Autom. Remote Control
\yr 2008
\vol 69
\issue 8
\pages 1433--1443
\crossref{https://doi.org/10.1134/S0005117908080158}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000258611900015}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-50149085774}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at714
  • https://www.mathnet.ru/rus/at/y2008/i8/p176
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:258
    PDF полного текста:77
    Список литературы:56
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024