136275-Thumbnail Image.png
Description

The central goal of this thesis is to develop a practical approach to validating the correctness of SSA forms. Since achieving this goal is very involved for a general program, we restrict our attention to simple programs. In particular, the

The central goal of this thesis is to develop a practical approach to validating the correctness of SSA forms. Since achieving this goal is very involved for a general program, we restrict our attention to simple programs. In particular, the programs we consider are loop-free and are comprised of simple assignments to scalar variables, as well as input and output statements.

487.7 KB application/pdf

Download restricted. Please sign in.

Download count: 0

Details

Contributors
Date Created
2015-05
Resource Type
  • Text
  • Machine-readable links