A calculational derivation of the CASOP algorithm

DOI10.1016/0020-0190(90)90042-VzbMath0706.68074OpenAlexW2090873316MaRDI QIDQ918722

Rob R. Hoogerwoord

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90042-v

zbMATH Keywords

program derivationRecurrence relationsformula manipulationfunctional and sequential programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Uses Software

• Unnamed Item

Cites Work

• CASOP: A fast algorithm for computing the \(n\)-ary composition of a binary associative operator

This page was built for publication: A calculational derivation of the CASOP algorithm