Computing Utility Needs Monadic Abstractions.
Saved in:
| 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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 193284397 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Computing Utility Needs Monadic Abstractions. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Du%2C+Yu%22">Du, Yu</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<i> duyu23s@ict.ac.cn</i><br /><searchLink fieldCode="AR" term="%22Pan%2C+Yu-Xuan%22">Pan, Yu-Xuan</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<i> panyuxuan23z@ict.ac.cn</i><br /><searchLink fieldCode="AR" term="%22Yu%2C+Zi-Shu%22">Yu, Zi-Shu</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> yuzishu@ict.ac.cn</i><br /><searchLink fieldCode="AR" term="%22Xu%2C+Zhi-Wei%22">Xu, Zhi-Wei</searchLink><relatesTo>1,3</relatesTo> (AUTHOR)<i> zxu@ict.ac.cn</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Computer+Science+%26+Technology+%2810009000%29%22">Journal of Computer Science & Technology (10009000)</searchLink>. Jan2026, Vol. 41 Issue 1, p193-203. 11p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Abstraction+%28Computer+science%29%22">Abstraction (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22On-demand+computing%22">On-demand computing</searchLink><br /><searchLink fieldCode="DE" term="%22Distributed+computing%22">Distributed computing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+correctness%22">Computer software correctness</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=193284397 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s11390-026-6250-5 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 11 StartPage: 193 Subjects: – SubjectFull: Abstraction (Computer science) Type: general – SubjectFull: On-demand computing Type: general – SubjectFull: Distributed computing Type: general – SubjectFull: Computer software correctness Type: general Titles: – TitleFull: Computing Utility Needs Monadic Abstractions. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Du, Yu – PersonEntity: Name: NameFull: Pan, Yu-Xuan – PersonEntity: Name: NameFull: Yu, Zi-Shu – PersonEntity: Name: NameFull: Xu, Zhi-Wei IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: Jan2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 10009000 Numbering: – Type: volume Value: 41 – Type: issue Value: 1 Titles: – TitleFull: Journal of Computer Science & Technology (10009000) Type: main |
| ResultId | 1 |
