Resources in Computation

计算资源

• 批准号: EP/V040944/1
• 负责人: Samson Abramsky
• 金额: $ 228.39万
• 依托单位: University College London
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2021
• 资助国家: 英国
• 起止时间: 2021 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FV040944%2F1
• 关键词: Resources; Computation

Programming is intrinsically based on the use of limited resources, such as memory and processing power of computers.Various abstractions of resources play an important role throughout computer science, but they are conceptualised in very different, and apparently unrelated ways. In particular, there is a big gap between studies focussing on precise quantitative issues of what we can do and how efficiently we can do it with limited resources, and those which concern more conceptual aspects, which underpin modern high-level programming languages, and application-oriented programming.In this project, building on some recent breakthrough developments which relate these different aspects, we aim to develop a unified theory of resources which will apply to all these aspects, and allow a flow of ideas between them. This will provide new tools and methods for computer scientists, and lead both to new kinds of results, and more general versions of existing ones.

编程本质上是基于有限资源的使用，例如计算机的内存和处理能力。资源的各种抽象在整个计算机科学中发挥着重要作用，但它们的概念化方式非常不同，而且显然不相关。特别是，专注于精确定量问题（即我们可以做什么以及如何利用有限的资源高效地完成工作）的研究与关注更多概念方面（支撑现代高级编程语言和面向应用程序编程）的研究之间存在很大差距。在这个项目中，以最近一些涉及这些不同方面的突破性发展为基础，我们的目标是开发一个统一的资源理论，该理论将适用于所有这些方面，并允许思想流动 他们之间。这将为计算机科学家提供新的工具和方法，并带来新的结果和现有结果的更通用版本。

项目成果

From Electrons to Elephants and Elections - Exploring the Role of Content and Context

从电子到大象和选举——探索内容和背景的作用

• DOI: 10.1007/978-3-030-92192-7_29
• 发表时间: 2022
• 作者: Abramsky S

Arboreal categories and resources

树栖类别和资源

• DOI: 10.4230/lipics.icalp.2021.115
• 发表时间: 2021
• 期刊: Leibniz International Proceedings in Informatics, LIPIcs
• 作者: Abramsky S.

Comonadic semantics for hybrid logic

混合逻辑的共元语义

• DOI: 10.4230/lipics.mfcs.2022.7
• 发表时间: 2022
• 期刊: Leibniz International Proceedings in Informatics, LIPIcs
• 作者: Abramsky S.

Arboreal Categories: An Axiomatic Theory of Resources

树栖类别：资源的公理理论

• DOI: 10.46298/lmcs-19(3:14)2023
• 发表时间: 2023
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Abramsky S

Combining contextuality and causality: a game semantics approach.

• DOI: 10.1098/rsta.2023.0002
• 发表时间: 2024-03-18
• 期刊: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
• 影响因子: 5
• 作者: Abramsky, Samson;Barbosa, Rui Soares;Searle, Amy
• 通讯作者: Searle, Amy