Inference rules for proving the equivalence of recursive procedures.
| Autor: | Godlin, Benny1 bgodlin@cs.technion.ac.il, Strichman, Ofer2 ofers@ie.technion.ac.il |
|---|---|
| Zdroj: | Acta Informatica. Aug2008, Vol. 45 Issue 6, p403-439. 37p. 15 Diagrams. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|