Monadic Maps and Folds for Multirelations in an Allegory

被引：0

作者：

Martin, Clare E. ^{[1
]}

Curtis, Sharon A. ^{[1
]}

机构：

[1] Oxford Brookes Univ, Oxford OX3 0BP, England

来源：

UNIFYING THEORIES OF PROGRAMMING | 2010年 / 5713卷

关键词：

NONDETERMINISM;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper contributes to the unification of semantic models and program development techniques by making a link from multirelations and predicate transformer semantics to algebraic semantics and the derivation of programs by calculation, as used in functional programming and relational program development. Two common ways to characterise iteration, namely the functional programming operators map and fold, are extended to multirelations, using concepts from category theory, power allegories and monads.

引用

页码：102 / 121

页数：20

共 22 条

[21] Abundance for non-uniruled 3-folds with non-trivial Albanese maps in positive characteristics
Zhang, Lei
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2019, 99 (02): : 332 - 348
[22] Mapping protein folds in "single particle" density maps from cryo-electron microscopy at 8 -: 10 Å resolution.
Steven, AC
Conway, JF
Cheng, N
Zlotnick, A
Stahl, SJ
Wingfield, PT
[J]. ELECTRON MICROSCOPY 1998, VOL 1: GENERAL INTEREST AND INSTRUMENTATION, 1998, : 727 - 728

← 1 2 3 →