SafeTSA: An Inherently Type-Safe SSA-based Code Format
| dc.contributor.author | Von Ronne, Jeffery | |
| dc.contributor.author | Amme, Wolfram | |
| dc.contributor.author | Franz, Michael | |
| dc.date.accessioned | 2023-10-19T16:06:11Z | |
| dc.date.available | 2023-10-19T16:06:11Z | |
| dc.date.issued | 2006-08 | |
| dc.description.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. | |
| dc.description.department | Computer Science | |
| dc.description.sponsorship | This investigation has been supported in part by the Deutsche Forschungsgemeinschaft (DFG) under grants AM-150/1-1 and AM-150/1-3, by the National Science Foundation (NSF) under grant CCR-9901689, and by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL) under agreement number F30602-99-1-0536. | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12588/2115 | |
| dc.language.iso | en_US | |
| dc.publisher | UTSA Department of Computer Science | |
| dc.relation.ispartofseries | Technical Report; CS-TR-2006-004 | |
| dc.subject | design | |
| dc.subject | languages | |
| dc.subject | experimentation | |
| dc.subject | performance | |
| dc.subject | security | |
| dc.subject | program representations | |
| dc.subject | mobile code | |
| dc.subject | SafeTSA | |
| dc.subject | static single assignment form | |
| dc.subject | type safety | |
| dc.title | SafeTSA: An Inherently Type-Safe SSA-based Code Format | |
| dc.type | Technical Report |