SafeTSA: An inherently type-safe SSA-based code format (2006)
by
Jeffery Von Ronne
,
Wolfram Amme
,
Michael Franz
| Citations: | 4 - 4 self |
BibTeX
@TECHREPORT{Ronne06safetsa:an,
author = {Jeffery Von Ronne and Wolfram Amme and Michael Franz},
title = {SafeTSA: An inherently type-safe SSA-based code format},
institution = {},
year = {2006}
}
OpenURL
Abstract
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 stack-oriented bytecode based on static single assignment form. SafeTSA’s special features (type separation, dominator-based scoping, and high-level control structures) facilitate producer-side, ahead-of-time optimization and an inherently-safe, space-efficient encoding.







