×

Find

swMATH ID: 21614
Software Authors: C.A.R. Hoare
Description: Proof of a program: Find. A proof is given of the correctness of the algorithm “Find.” First, an informal description is given of the purpose of the program and the method used. A systematic technique is described for constructing the program proof during the process of coding it, in such a way as to prevent the intrusion of logical errors. The proof of termination is treated as a separate exercise. Finally, some conclusions relating to general programming methodology are drawn.
Homepage: https://dl.acm.org/citation.cfm?id=362489
Related Software: Quicksort; Algorithm 347; MedianOfNinthers; Algorithm 489; Python; Coq; MUMPS; Eigen; hypre; FEniCS; PETSc; PARTITION; GPU Quicksort; MoMQuickMergesort; NQTHM; QuickHeapsort; ALGOL 60; z3; PVS; MaLiJAn
Cited in: 90 Documents
all top 5

Cited by 166 Authors

5 Martínez, Conrado
4 Dumitrescu, Adrian
4 Prodinger, Helmut
3 Fill, James Allen
3 Mahmoud, Hosam M.
3 Wild, Sebastian
2 Chen, Ke
2 Colebrook, Marcos
2 Devroye, Luc P. J. A.
2 Filliâtre, Jean-Christophe
2 Fouz, Mahmoud
2 Grübel, Rudolf
2 Kufleitner, Manfred
2 Manthey, Bodo
2 Munro, J. Ian
2 Nakama, Takéhiko
2 Nebel, Markus E.
2 Panholzer, Alois
2 Rösler, Uwe
2 Sicilia, Joaquín
2 Zeini Jahromi, Nima
2 Zhang, Jian
1 Acar, Umut A.
1 Allison, Donald C. S.
1 Alsuwaiyel, Muhammad H.
1 Amossen, Rasmus Resen
1 Anderson, James H.
1 Angiuli, Carlo
1 Apt, Krzysztof Rafal
1 Assarsson, Ulf
1 Atzmon, Dor
1 Back, Ralph-Johan
1 Barbay, Jérémy
1 Bellia, Marco
1 Blum, Manuel
1 Bordas, Stéphane Pierre Alain
1 Borzovs, Juris
1 Bose, Prosenjit K.
1 Bulle, Raphaël
1 Campagna, Andrea
1 Cantone, Domenico
1 Chen, Mengqiang
1 Chen, Qiao
1 Chen, Wei-Mei
1 Chouly, Franz
1 Cincotti, Gianluca
1 Cloud, Kirkwood
1 Cook, William R.
1 Crochemore, Maxime
1 Cunto, Walter
1 Dean, Brian C.
1 Devi, UmaMaheswari C.
1 Duch, Amalia
1 Edelkamp, Stefan
1 Eisert, Jens
1 Evans, David John
1 Fatahalian, Kayvon
1 Felner, Ariel
1 Feltman, Nicolas
1 Flinth, Axel
1 Floyd, Robert W.
1 Gaïffas, Stéphane
1 Ge, Cunjing
1 Gonnet, Gaston H.
1 Gonzalez, Teofilo F.
1 Gross, Benedict Hyman
1 Grossi, Roberto
1 Guo, Binbin
1 Gupta, Ankur
1 Gurwitz, Chaya Bleich
1 Gutiérrez, José Miguel
1 Hale, Jack S.
1 Hansen, Christina L.
1 Henderson, Peter B.
1 Heymans, F.
1 Huber, Mark L.
1 Igarashi, Shigeru
1 Jahani-Nezhad, Tayyebeh
1 Jiao, Xiangmin
1 Jiménez, Rosa M.
1 Johnson, Donald B.
1 Jones, Cliff B.
1 Kalnins, Audris
1 Kärkkäinen, Juha
1 Kasatkina, I. V.
1 Kawabata, Sukemitsu
1 Kenmochi, Yukiko
1 Kitchin, David
1 Kiwiel, Krzysztof Czesław
1 Koenig, Sven
1 Kuang, Di
1 Kuba, Markus F.
1 Külekci, Muhammed Oğuzhan
1 Landau, Gad M.
1 Lee, Der-Tsai
1 Levitt, Karl N.
1 Li, Jiaoyang
1 Lin, Tien-Ching
1 London, Ralph L.
1 Lozinski, Alexei
...and 66 more Authors

Citations by Year