Work

Binary search—think positive

Year: 2025

Type: article

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

Source: Journal of Functional Programming

DOI: 10.1017/s0956796825000061

Authors: ALEXANDER DINGES, RALF HINZE

Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,660

OpenAlex ID: W4409117234

FWCI: 0.427

Cites: 1

Cited by: 1

Related to: 10