A calculational derivation of the CASOP algorithm

DOI10.1016/0020-0190(90)90042-VMaRDI QIDQ918722zbMATH OpenOpenAlexFDO

Authors 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

formula manipulationfunctional and sequential programmingprogram derivationRecurrence relations

Mathematics Subject Classification ID

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

Recommendations

• CASOP: A fast algorithm for computing the n-ary composition of a binary associative operator
• Calculating path algorithms
• scientific article; zbMATH DE number 512947
• scientific article; zbMATH DE number 1528623
• Towards a calculus of algorithms

Cites work

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

Cited in

(1)

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

Describes a project that uses

Uses Software

• CASOP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918722)