WRSWorld Research StateContribute
WORLD RESEARCH STATE

Iverson: describing an algorithm as transformations of arrays

Contribution grade

Programming languages and array algorithms · Programming languages and array algorithms

Reference score150,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

Unified array-oriented notation for algorithm description and analysis.

Scientific scope

Unified array-oriented notation for algorithm description and analysis. The assessed notation is the 1962 book’s opening framework, not every later APL convention. Array dimensions, operator domains and algebraic assumptions matter. Its historical reduction order differs from later variants; inverse notation needs domain/range choices. The goal is descriptive clarity, not a universal speed or productivity gain. Later chapters and implementations are outside the reviewed scope.

Evidence

Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.

Contributors

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction