RPython: A step towards reconciling dynamically and statically typed OO languages

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 53-64

  Ancona, Davide ^a   Ancona, Massimo ^a   Cuni, Antonio ^a   Matsakis, Nicholas D ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b ETH ZURICH   (Switzerland)

Author keywords

.NET; JVM; Python

Indexed keywords

COMPUTER SYSTEMS; DATA HANDLING; INTEROPERABILITY; ROBUSTNESS (CONTROL SYSTEMS);

BOOTSTRAPPING; BYTECODES; OBJECT-ORIENTED LANGUAGES; RPYTHON;

OBJECT ORIENTED PROGRAMMING;

EID: 41149148138     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297081.1297091     Document Type: Conference Paper

References (31)

1. C. S. Ananian. The static single information form. Technical Report. MIT-LCS-TR-801, MIT Laboratory for Computer Science Technical Report, September 1999. Master's thesis.
2. C. Anderson, P. Giannini, and S. Drossopoulou. Towards type inference for javascript. In 19th European Conference on Object-Oriented Programming (ECOOP 2005), LNCS 3586, pages 428-453. Springer, 2005.
3. G. Bracha and W. Cook. Mixin-based inheritance. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1990, volume 25(10) of SIGPLAN Notices, pages 303-311. ACM Press, October 1990.
4. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: adding genericity to the Java programming language. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 183-200, New York, NY, USA, 1998. ACM: Press.
5. C. Clifton, T. Millstein, G. T. Leavens, and C. Chambers. MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Prog. Lang. Syst., 28(3), May 2006.
6. B. J. Cox. Object oriented programming: an evolutionary approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
7. A. Cuni, S. Pedroni, A. Chrigström, H. Krekel, G. Wesdorp, and C. F. Bolz. High-level backends and interpreter feature prototypes. Technical Report D12.1, PyPy Consortium, 2007. http://codespeak.net/pypy/dist/pypy/aoc/index- report.html.
8. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. P. Black. Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst., 28(2):331-388, 2006.
9. ECMA. ECMA-335: Common Language Infrastructure (CLI). ECMA, Geneva (CH), third edition, June 2005.
10. C. Esterbrook. Using Mix-ins with Python. http://www.linuxjournal.com/ article/4540.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns. Elements of reusable object-oriented software. Addison-Wesley Professional, - c1995, 1995.
12. D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay. Back to the future: the story of squeak, a practical Smalltalk written in itself. In OOPSLA '97: Proceedings of the 12th ACM SIGPIAN conference on Object-oriented programming, systems, languages, and applications, pages 318-326, New York, NY, USA, 1997. ACM Press.
13. IronPython. http://www.codeplex.com/IronPython.
14. JRuby. http://jruby.codehaus.org/.
15. Jython. http://www.jython.org/.
16. S. Keene. CLOS and the Meta Object Protocol. Addison Wesley Publishing Company, 1989.
17. W. R. LaLonde and J. R. Pugh. Inside Smalltalk: vol. 1 and 2. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1990.
18. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04), Palo Alto, California, Mar 2004.
19. T. Lindholm, and F. Yellin. The Java™ Virtual Machine Specification (2nd Edition). Prentice Hall PTR, April 1999.
20. P. Maes. Concepts and experiments in computational reflection. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 147-155, New York, NY, USA, 1987. ACM Press.
21. Martin Richards. Bcpl benchmark. http://www.cl.cam.ac.uk/~mr10/Bench. html.
22. E. Meijer and P. Drayton. Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In OOPSLA '04 Workshop on Revival of Dynamic Languages, 2004.
23. Microsoft.NET. http://www.microsoft.com/net/.
24. Rhino. http://www.mozilla.org/rhino/.
25. A. Rigo, M. Hudson, and S. Pedroni. Compiling dynamic language implementations. Technical Report D05.1, PyPy Consortium, 2005. http://codespeak.net/pypy/dist/pypy/doc/index-report.html.
26. A. Rigo and S. Pedroni. PyPy's approach to virtual machine construction. In OOPSLA Companion, pages 944-953, 2006.
27. Slang. http://wiki.squeak.org/squeak/2267.
28. Sun Microsystems. JSR 292: Supporting dynamically typed languages on the Java platform, http://jcp.org/en/jsr/detail?id=292.
29. The Mono Project. http://www.mono-project.com.
30. C. to PyPy. http://codespeak.net/pypy/dist/pypy/doc/contributor.html.
31. G. Van Rossum. Unifying types and classes in Python 2.2. http://www.python.org/download/releases/2.2.3/descrintro/.