×
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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。