A calculational derivation of the CASOP algorithm

R.R. Hoogerwoord

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)


A formal derivation is presented of an efficient algorithm for computing the "sums" of all segments, of a given length, of a sequence. Here, "sums" refers to the continued application of a binary operator of which associativity is the only known property. Recurrence relations are used to separate two concerns, viz. characterization of the values to be computed and choosing the order in which these values will be computed.
Original languageEnglish
Pages (from-to)297-299
JournalInformation Processing Letters
Issue number6
Publication statusPublished - 1990


Dive into the research topics of 'A calculational derivation of the CASOP algorithm'. Together they form a unique fingerprint.

Cite this