Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Avtomatika i Telemekhanika, 2008, Issue 8, Pages 176–186 (Mi at714)  
Computer-Aided Design and Programming

Some methods of automatic analysis and controllable transformation of programs

M. A. Potapov, E. A. Shatokhin

Institute of Computer-Aided Design, Russian Academy of Sciences, Moscow, Russia
Full-text PDF (238 kB)
References:
PDF
HTML
Abstract: Principles and methods of the development of program systems are considered, which facilitate the analysis and transformation of the structure of programs. In the implementation of scale projects, it is impossible to have a complete concept of the structure of a program without the use of special systems. These systems contain the means of analysis of the initial program and, as a result of automatic transformation, produce another program displaying prescribed properties. As examples, the problems of fast automatic differentiation and the problems of obfuscation (“darkening”, intricacy) of programs are considered.
Presented by the member of Editorial Board: O. P. Kuznetsov

Received: 15.12.2006
English version:
Automation and Remote Control, 2008, Volume 69, Issue 8, Pages 1433–1443
DOI: https://doi.org/10.1134/S0005117908080158
Bibliographic databases:
Document Type: Article
PACS: 02.70.-c
Language: Russian
Citation: M. A. Potapov, E. A. Shatokhin, “Some methods of automatic analysis and controllable transformation of programs”, Avtomat. i Telemekh., 2008, no. 8, 176–186; Autom. Remote Control, 69:8 (2008), 1433–1443
Citation in format AMSBIB
\Bibitem{PotSha08}
\by M.~A.~Potapov, E.~A.~Shatokhin
\paper Some methods of automatic analysis and controllable transformation of programs
\jour Avtomat. i Telemekh.
\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}
Linking options:
  • https://www.mathnet.ru/eng/at714
  • https://www.mathnet.ru/eng/at/y2008/i8/p176
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Avtomatika i Telemekhanika
    Statistics & downloads:
    Abstract page:257
    Full-text PDF :76
    References:55
    First page:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024