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.

References in zbMATH (referenced in 86 articles )

Showing results 1 to 20 of 86.
Sorted by year (citations)

1 2 3 4 5 next

  1. Dumitrescu, Adrian: Finding a mediocre player (2021)
  2. Jahani-Nezhad, Tayyebeh; Maddah-Ali, Mohammad Ali: CodedSketch: a coding scheme for distributed computation of approximated matrix multiplication (2021)
  3. Xiao, Danyang; Mei, Yuan; Kuang, Di; Chen, Mengqiang; Guo, Binbin; Wu, Weigang: EGC: entropy-based gradient compression for distributed deep learning (2021)
  4. Chen, Ke; Dumitrescu, Adrian: Selection algorithms with small groups (2020)
  5. Edelkamp, Stefan; Weiß, Armin; Wild, Sebastian: QuickXsort: a fast sorting scheme in theory and practice (2020)
  6. Pfeiler, Carl-Martin; Praetorius, Dirk: Dörfler marking with minimal cardinality is a linear complexity problem (2020)
  7. Apt, Krzysztof R.; Olderog, Ernst-Rüdiger: Fifty years of Hoare’s logic (2019)
  8. Dumitrescu, Adrian: A selectable sloppy heap (2019)
  9. Ge, Cunjing; Ma, Feifei; Zhang, Peng; Zhang, Jian: Computing and estimating the volume of the solution space of SMT(LA) constraints (2018)
  10. Goldstein, Larry: Non-asymptotic distributional bounds for the Dickman approximation of the running time of the Quickselect algorithm (2018)
  11. Cloud, Kirkwood; Huber, Mark: Fast perfect simulation of Vervaat perpetuities (2017)
  12. Hook, James: Max-plus algebraic statistical leverage scores (2017)
  13. Jones, Cliff B.: Turing’s 1949 paper in context (2017)
  14. Külekci, M. Oğuzhan; Thankachan, Sharma V.: Range selection and predecessor queries in data aware space and time (2017)
  15. Ngo, Phuc; Kenmochi, Yukiko; Sugimoto, Akihiro; Talbot, Hugues; Passat, Nicolas: Discrete rigid registration: a local graph-search approach (2017)
  16. Barbay, Jérémy; Gupta, Ankur; Satti, Srinivasa Rao; Sorenson, Jon: Near-optimal online multiselection in internal and external memory (2016)
  17. Feltman, Nicolas; Angiuli, Carlo; Acar, Umut A.; Fatahalian, Kayvon: Automatically splitting a two-stage lambda calculus (2016)
  18. Nebel, Markus E.; Wild, Sebastian; Martínez, Conrado: Analysis of pivot sampling in dual-pivot Quicksort: a holistic analysis of Yaroslavskiy’s partitioning scheme (2016)
  19. Wild, Sebastian; Nebel, Markus E.; Mahmoud, Hosam: Analysis of quickselect under Yaroslavskiy’s dual-pivoting algorithm (2016)
  20. Crochemore, Maxime; Grossi, Roberto; Kärkkäinen, Juha; Landau, Gad M.: Computing the Burrows-Wheeler transform in place and in small space (2015)

1 2 3 4 5 next