Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Binary search—think positive

20251 citationsJournal Articlehybrid Open Access

Authors

Alexander Dinges · University of Maryland University College Europe

Ralf Hinze · University of Applied Sciences Kaiserslautern

Abstract

The setting is a tutorial on program verification in Agda. Please consult the programme for further details. [ See also Appendix A .]

Topics & Keywords

Metaheuristic Optimization Algorithms Research

Publication Details

Published in: Journal of Functional Programming

Volume 35

DOI: 10.1017/s0956796825000061

Field-Weighted Citation Impact: 3.13

Binary search—think positive | Researchclopedia