[PL Seminar] Talk: Anders Bach Nielsen
2009.11.04 |
| Date | Mon Nov 09 |
| Time | 14:00 — 15:00 |
| Location | DI-Turing-014 |
Title: Virtual Class Support at the Virtual Machine Level
Speaker: Anders Bach Nielsen
Time and place: Monday, 9.11.2009, 14:00-15:00, in Turing-014
Abstract:
This paper describes how virtual classes can be supported in a virtual
machine. Main-stream virtual machines such as the Java Virtual
Machine and the .NET platform dominate the world today,
and many languages are being executed on these virtual machines
even though their embodied design choices conflict with the design
choices of the virtual machine. For instance, there is a non-trivial
mismatch between the main-stream virtual machines mentioned
above and dynamically typed languages. One language concept that
creates an even greater mismatch is virtual classes, in particular because
fully general support for virtual classes requires generation
of new classes at run-time by mixin composition. Languages like
CaesarJ and Object Teams can express virtual classes restricted to
the subset that does not require run-time generation of classes, because
of the restrictions imposed by the Java Virtual Machine. We
have chosen to support virtual classes by implementing a specialized
virtual machine, and this paper describes how this virtual machine
supports virtual classes with full generality. SK: 5211