Work

On transforming Java-like programs into memory-predictable code