Now showing items 1-1 of 1

    • SafeTSA : an inherently type-safe SSA-based code format 

      Von Ronne, Jeffery; Amme, Wolfram; Franz, Michael (University of Texas at San Antonio, Dept. of Computer Science, 2006)
      Conventional type safe virtual machines, such as the Java Virtual Machine, utilize a stack-oriented bytecode language and require verification prior to execution. We present SafeTSA, a compiler-friendly alternative to ...