𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The applicability of program schema results to programs

✍ Scribed by Elaine J. Weyuker

Publisher
Springer
Year
1979
Tongue
English
Weight
676 KB
Volume
8
Category
Article
ISSN
1573-7640

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Equivalence of conservative, free, linea
Equivalence of conservative, free, linear program schemas is decidable
✍ 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.

The application of linear programming to
The application of linear programming to design problems
✍ Eugene J. Fenech; Andrew Acrivos πŸ“‚ Article πŸ“… 1956 πŸ› Elsevier Science 🌐 English βš– 427 KB

It ie the purpose of this paper to bring to the attention of the chemical engineerlng profession a recently developed mathematical technique, called " linear programming", which is exceedingly valuable ln solving certain Leneral problems connected with, in&r &a, the eillcient design of a chemical pl