Powered by OpenAIRE graph

Resources in Computation

Funder: UK Research and InnovationProject code: EP/V040944/1
Funded under: EPSRC Funder Contribution: 1,792,390 GBP

Resources in Computation

Description

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.

Data Management Plans
Powered by OpenAIRE graph

Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.

All Research products
arrow_drop_down
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::cf0472e989cf6bfa725784e95f87a03f&type=result"></script>');
-->
</script>
For further information contact us at helpdesk@openaire.eu

No option selected
arrow_drop_down