Re: [DotGNU]Java and Portable.NET

[Yonas Jongkind]

> Bytecode conversion: convert the bytecode into IL, just as
> the class structure is currently converted to IL-like metadata.
>
> This third option is actually extremely difficult because of
> semantic differences in the handling of local variables in the
> two bytecode systems.  A level of analysis that is close to
> AI would be needed.  Therefore, one of the first two options
> would be better.
>

To me this seems like the best option. What exactly about the variables in Java 
makes this so problematic? Is it
determining the type of a variable due to Java's requirement that you infer 
this from previous uses. We will have to
handle this on the goodUE project soon, but we are planning to build a verifyer 
that does the transformation to IR at
the same time.

Could CVM be extended to handle a new type of variable?

In the past good intermediate formats have served quite well, and it seems that 
your intermediate format (CVM) should
probably be able to handle it.

Yonas.

--
Yonas Jongkind, avid hiker, scuba diver, and reader.
Member of the goodUE project. http://www.goodue.com

yonasj.vcf
Description: Card for Yonas Jongkind