Exceptionization: A Java VM Optimization for Non-Java Languages
the java language specification .