Michael Franz           
UC Irvine, USA
franz@uci.edu

Alternatives to the Java Virtual Machine - Mobile Code 
Representations Aiding Code Generation

We introduce SafeTSA, a type-safe mobile code representation based on 
static single assignment form. We are developing SafeTSA as a 
replacement technology to the Java Virtual Machine (JVM), over which 
it has several advantages. (1) SafeTSA is better suited as input to 
an optimizing code generator and allows CSE to be performed at the 
code producer's site. (2) SafeTSA uses "type separation" to achieve 
provable type safety, which reduces the code verification effort at 
the code consumer's site considerably. (3) SafeTSA can transport the 
results of type and range-check elimination in a tamper-proof manner, 
and lastly (4) SafeTSA is usually considerably more compact than JVM 
code.