2 search results - page 1 / 1 » An ASM Semantics for SSA Intermediate Representations |
ASM
2004
ASM
13 years 10 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
GI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...