Follow
( Publications: 35 | Followers: 0 )

Why Equivalence Checking? - ULisboa

i := 0. while. i < n . do. k := f (k, i) i := i + 1. Automatic Equivalence Checking of UF+IA Programs. Example:Are these programs equivalent? i := n. while. i ≥ 1

Publish on Category: All 7

0

Embed

Share

Upload

Why Equivalence Checking? - ULisboa