Bibliographic Details
| Title: |
Computing Utility Needs Monadic Abstractions. |
| Authors: |
Du, Yu1,2 (AUTHOR) duyu23s@ict.ac.cn, Pan, Yu-Xuan1,2 (AUTHOR) panyuxuan23z@ict.ac.cn, Yu, Zi-Shu1 (AUTHOR) yuzishu@ict.ac.cn, Xu, Zhi-Wei1,3 (AUTHOR) zxu@ict.ac.cn |
| Source: |
Journal of Computer Science & Technology (10009000). Jan2026, Vol. 41 Issue 1, p193-203. 11p. |
| Subjects: |
Abstraction (Computer science), On-demand computing, Distributed computing, Computer software correctness |
| Abstract: |
Barbara Liskov proposed a vision of abstraction-powered Internet Computer in 2009, updating John McCarthy's 1961 vision of utility computing. But what kinds of abstractions are needed? What fundamental problem do such abstractions aim to solve? This position paper points out a "Liskov-Lamport chasm" problem and argues that one type of abstractions is needed to realize a planet-scale, abstraction-powered computing utility, termed monadic abstraction. We outline three desirable properties and research goals of such abstractions: 1) a single programming concept encapsulating data, program, and machine, 2) abstraction mechanisms facilitating enforced dynamic soundness, and 3) amortized zero-cost abstractions. [ABSTRACT FROM AUTHOR] |
|
Copyright of Journal of Computer Science & Technology (10009000) is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
