12 citations · 12 across the 3 of their papers we have counts for
1 paper · 2 filters
Abel Nieto
Given two MIPS programs, when are they equivalent? At first glance, this is tricky to define, because of the unstructured nature of assembly code. We propose the use of alternating…