CSC448: AST Transformations: Fresh Labels/Variables [49/133] Previous pageContentsNext page

When we manipulate blocks in source to source transformations, we must not confuse different local variables with the same name.

The semantics of our programming language allows us to add fresh variables and labels.

Yes, the given code is buggy, because it may give incorrect results if the original program contains, e.g., a label called "lab_6_true". Fixes?

Previous pageContentsNext page