Rob R.Hoogerwoord。 CASOP算法的计算推导。 (英语) Zbl 0706.68074号 信息处理。莱特。 36,第6号,297-299(1990). 摘要:给出了一种高效算法的形式推导,该算法用于计算给定长度的序列的所有段的“和”。这里,“和”是指二进制运算符的继续应用,其结合性是唯一已知的属性。递归关系用于分离两个关注点,即描述要计算的值并选择这些值的计算顺序。 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68号01 软件理论中的一般主题 关键词:程序推导;公式操作;功能和顺序编程;递归关系 软件:CASOP公司 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Hoogerwoord},Inf.过程。莱特。36,第6号,297--299(1990;Zbl 0706.68074) 全文: 内政部 参考文献: [1] 库珀,J。;Kitchen,L.,CASOP:一种计算二元关联运算符的元组合的快速算法,Inform。过程。莱特。,34209-213(1990年)·Zbl 0695.68035号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。