Binary search—think positive
The setting is a tutorial on program verification in Agda. Please consult the programme for further details. [ See also Appendix A .]
Authors
- Ralf Hinze (ORCID: https://orcid.org/0000-0001-5678-0286)
- Alexander Dinges (ORCID: https://orcid.org/0009-0003-1694-4567)
Institutions
- University of Applied Sciences Kaiserslautern (DE)
- University of Maryland University College Europe (DE)
Publication Details
- Journal
- Journal of Functional Programming
- Published
- 2025-01-01
- DOI
- https://doi.org/10.1017/s0956796825000061
- Citations
- 1
- Primary Topic
- Metaheuristic Optimization Algorithms Research
- Type
- article
- Field-Weighted Citation Impact
- 2.48