12 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
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…