𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A data-directed approach to program construction

✍ Scribed by D. D. Cowan; J. W. Graham; J. W. Welch; C. J. P. Lucena

Book ID
112209728
Publisher
John Wiley and Sons
Year
1980
Tongue
English
Weight
875 KB
Volume
10
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive approach to the problem o
A constructive approach to the problem of program correctness
✍ E. W. Dijkstra πŸ“‚ Article πŸ“… 1968 πŸ› Springer Netherlands 🌐 English βš– 867 KB

As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa

A reference direction approach to multip
A reference direction approach to multiple objective quadratic-linear programming
✍ Pekka Korhonen; Guang Yuan Yu πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 624 KB

In this paper, we propose an interactive procedure for solving multiple criteria problems with one quadratic objective, several linear objectives, and a set of linear constraints. The procedure is based on the use of reference directions and weighted sums. Reference directions for the linear functio