A calculational derivation of the CASOP algorithm

R.R. Hoogerwoord

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Abstract

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
Volume36
Issue number6
DOIs
Publication statusPublished - 1990

Fingerprint

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

Cite this