Type inference for Python programming language
Abstract
References
1. V. Savitskij, D. Sidorov. Inkremental'nyj analiz iskhodnogo koda na yazykakh C/C++ [Incremental source code analysis for C/C++ languages]. Trudy ISP RАN [The Proceedings of ISP RAS], 2012, vol. 22, pp. 119—129 (in Russian).
2. TIOBE Programming Community Index for April 2013. http://tinyurl.com/cgjbmjc
3. Gramps Bug Report 005023.
4. http://www.gramps-project.org/bugs/view.php?id=5023
5. O. Agesen. The Cartesian Product Algorithm. ECOOP’95 Proceedings of the 9th European Conference on Object-Oriented Programming (1995).
6. J. Palsberg, M. Schwartzbach. Object-Oriented Type Inference. In OOPSLA’91 Object-Oriented Programming Systems, Languages and Applications, pp. 146—161, Phoenix, Arizona, Oct. 1991.
7. M. Salib. Starkiller: a static type inferencer and compiler for Python. The Master of Engineering degree thesis. Massachusetts Institute of Technology, 2004.
8. B. Alpern, M. Wegman, K. Zadeck. Detecting equality of values in programs. In Conference Record of the 15th ACM Symposium on Principles of Programming Languages (Jan. 1988), ACM, New York, pp. 1—11.
9. Abstract Syntax Trees: ast module. http://docs.python.org/2/library/ast.html
Review
For citations:
Bronshteyn I.E. Type inference for Python programming language. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)