Journal of Functional Programming | VOL. 32
Read

Back to futures

Publication Date Jan 1, 2022

Abstract

Abstract Common approaches to concurrent programming begin with languages whose semantics are naturally sequential and add new constructs that provide limited access to concurrency, as exemplified by futures. This approach has been quite successful, but often does not provide a satisfactory theoretical backing for the concurrency constructs, and it can be difficult to give a good semantics that allows a programmer to use more than one of these constructs at a time. We take a different approach, starting with a concurrent language based on a Curry–Howard interpretation of adjoint logic, to which we add three atomic primitives that allow us to encode sequential composition and various forms of synchronization. The resulting language is highly expressive, allowing us to encode futures, fork/join parallelism, and monadic concurrency in the same framework. Notably, since our language is based on adjoint logic, we are able to give a formal account of linear futures, which have been used in complexity analysis by Blelloch and Reid-Miller. The uniformity of this approach means that we can similarly work with many of the other concurrency primitives in a linear fashion, and that we can mix several of these forms of concurrency in the same program to serve different purposes.

Concepts

Concurrency Primitives Atomic Primitives Linear Fashion Complexity Analysis Interpretation Of Logic Concurrency Constructs Sequential Composition Formal Account Concurrent Programming Limited Access

Round-ups are the summaries of handpicked papers around trending topics published every week. These would enable you to scan through a collection of papers and decide if the paper is relevant to you before actually investing time into reading it.

Coronavirus Research Articles published between Sep 26, 2022 to Oct 02, 2022

R DiscoveryOct 03, 2022
R DiscoveryArticles Included:  5

Introduction: Test solutions (Biotrue, renu Advanced [Bausch and Lomb], ACUVUE RevitaLens [Johnson and Johnson Vision], cleadew [Ophtecs corp.] or AOS...

Read More

Good health Research Articles published between Sep 26, 2022 to Oct 02, 2022

R DiscoveryOct 03, 2022
R DiscoveryArticles Included:  2

Patient and public involvement in health care is considered indispensable in the way we conduct daily pediatric neurology practice, and in the develop...

Read More

Quality Of Education Research Articles published between Sep 26, 2022 to Oct 02, 2022

R DiscoveryOct 03, 2022
R DiscoveryArticles Included:  5

Ingenta is not the publisher of the publication content on this website. The responsibility for the publication content rests with the publishers prov...

Read More

Gender Equality Research Articles published between Sep 26, 2022 to Oct 02, 2022

R DiscoveryOct 03, 2022
R DiscoveryArticles Included:  3

Introduction: As of early March 2022, the COVID-19 pandemic has killed more 5.9 million people worldwide, and infected more than 437 million.

Read More

Coronavirus Pandemic

You can also read COVID related content on R COVID-19

R ProductsCOVID-19

ONE PROBLEM . ONE PURPOSE . ONE PLACE

Creating the world’s largest AI-driven & human-curated collection of research, news, expert recommendations and educational resources on COVID-19

COVID-19 Dashboard

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on “as is” basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The Copyright Law.