Vestnik of Astrakhan State Technical University. Series: Management, Computer Sciences and Informatics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestn. Astrakhan State Technical Univ. Ser. Management, Computer Sciences and Informatics:
Year:
Volume:
Issue:
Page:
Find






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


Vestnik of Astrakhan State Technical University. Series: Management, Computer Sciences and Informatics, 2013, Number 2, Pages 66–74 (Mi vagtu273)  

COMPUTER SOFTWARE AND COMPUTING EQUIPMENT

Extraction of data types in dynamic programming languages for static analysis with universal class representation

M. V. Zubov, A. N. Pustygin, E. V. Startsev

Chelyabinsk State University
References:
Abstract: The approach, which allows extraction of information about types of class fields for object-oriented programming languages with dynamic typing, is introduced. Python is selected as a target language. Such languages doesn't provide this information, but it helps to improve universal class-level intermediate representation of the source code. Using the data on the types the more effective analysis can be made, for example, it makes possible to create aggregation relationships on the class diagram. To get types of fields the “duck typing” approach is offered; it is used in Python during the runtime. The mathematical model is created to verify this approach and to describe typing algorithm. This model doesn't limit the certain algorithm in searching the field “candidates”. The dynamic analysis based method is introduced for testing the main approach efficiency. The realized algorithm together with the method has been verified with the leading large open-source Python projects.
Keywords: static analysis, dynamic typing, dynamic analysis, object-oriented programming, Python.
Received: 03.04.2013
Document Type: Article
UDC: 004.41
BBC: 32.973.26-018.2
Language: Russian
Citation: M. V. Zubov, A. N. Pustygin, E. V. Startsev, “Extraction of data types in dynamic programming languages for static analysis with universal class representation”, Vestn. Astrakhan State Technical Univ. Ser. Management, Computer Sciences and Informatics, 2013, no. 2, 66–74
Citation in format AMSBIB
\Bibitem{ZubPusSta13}
\by M.~V.~Zubov, A.~N.~Pustygin, E.~V.~Startsev
\paper Extraction of data types in dynamic programming languages for static analysis with universal class representation
\jour Vestn. Astrakhan State Technical Univ. Ser. Management, Computer Sciences and Informatics
\yr 2013
\issue 2
\pages 66--74
\mathnet{http://mi.mathnet.ru/vagtu273}
Linking options:
  • https://www.mathnet.ru/eng/vagtu273
  • https://www.mathnet.ru/eng/vagtu/y2013/i2/p66
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика
    Statistics & downloads:
    Abstract page:220
    Full-text PDF :156
    References:114
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024