blob: 7b8dcad178f57b60f6b6d733bf82c8902fe94174 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
+++
title = "Using equations to prove copy propagation"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8e"]
forwardlinks = ["3a8e2"]
zettelid = "3a8e1"
+++
Copy propagation is when a direct assignment is propagated. This can be
proven using the equations Lemma directly, because at each point the
replacement can easily be justified by the argument that `rs#y = rs#x`
at the current point when `y` is being used instead of `x`.
|
