𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the termination of program schemas

✍ Scribed by A.J. Kfoury; D.M.R. Park


Book ID
114037168
Publisher
Elsevier Science
Year
1975
Weight
381 KB
Volume
29
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Equivalence of conservative, free, linea
✍ Michael R. Laurence; Sebastian Danicic; Mark Harman; Rob Hierons; John Howroyd πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 312 KB

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.