✦ LIBER ✦
Equivalence of conservative, free, linear program schemas is decidable
✍ Scribed by Michael R. Laurence; Sebastian Danicic; Mark Harman; Rob Hierons; John Howroyd
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 312 KB
- Volume
- 290
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
✦ Synopsis
A program schema deÿnes a class of programs, all of which have identical statement structures, but whose expressions may di er. We prove that given any two structured schemas which are conservative, linear and free, it is decidable whether they are equivalent.