.png){kind=icon}
返回
Computing Utility Needs Monadic Abstractions
.png){kind=icon}
PRE
AI
DOI：10.1007/s11390-026-6250-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
巴芭拉·利斯科夫在2009年提出了基于抽象的互联网计算机愿景，更新了约翰·麦卡锡1961年提出的效用计算愿景。但需要哪些类型的抽象？此类抽象旨在解决哪些基本问题？本文指出存在一个利斯科夫-拉姆波特鸿沟问题，并认为需要一种类型的抽象来实现行星规模的、基于抽象的效用计算，这种抽象被称为单子抽象。我们概述了此类抽象的三个理想属性和研究目标：1）一个封装数据、程序和机器的单个编程概念，2）便于强制动态正确性的抽象机制，3）摊销零成本抽象。
Keyword:
cloud computing
computility
monad
programming abstraction
stored-computer architecture
期刊
J
IF:
1.3
论文数:
76
被引数:
1.5K
机构
引用论文
暂无论文信息