𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The use of Hoare's method of program verfification for the quicksort algorithm

✍ Scribed by E. J. Neuhold; R. Studer


Book ID
105509928
Publisher
Springer Vienna
Year
1977
Tongue
English
Weight
603 KB
Volume
18
Category
Article
ISSN
0010-485X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The first algorithm for linear programmi
✍ C. Panne; F. Rahnama πŸ“‚ Article πŸ“… 1985 πŸ› Springer US 🌐 English βš– 682 KB

An analysis is given of Kantorovich's method of resolving multipliers. It is shown that the method is equivalent to a parametric method but that it is also equivalent with the simplex method with a special rule for the choice of the new basic variable.