The role of concurrency in an evolutionary view of programming abstractions

DOI10.1016/J.JLAMP.2015.07.006zbMATH Open1330.68200arXiv1507.07719OpenAlexW2962777908MaRDI QIDQ890610FDOQ890610

Authors: Silvia Crafa 

Publication date: 10 November 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Abstract: In this paper we examine how concurrency has been embodied in mainstream programming languages. In particular, we rely on the evolutionary talking borrowed from biology to discuss major historical landmarks and crucial concepts that shaped the development of programming languages. We examine the general development process, occasionally deepening into some language, trying to uncover evolutionary lineages related to specific programming traits. We mainly focus on concurrency, discussing the different abstraction levels involved in present-day concurrent programming and emphasizing the fact that they correspond to different levels of explanation. We then comment on the role of theoretical research on the quest for suitable programming abstractions, recalling the importance of changing the working framework and the way of looking every so often. This paper is not meant to be a survey of modern mainstream programming languages: it would be very incomplete in that sense. It aims instead at pointing out a number of remarks and connect them under an evolutionary perspective, in order to grasp a unifying, but not simplistic, view of the programming languages development process.

Full work available at URL: https://arxiv.org/abs/1507.07719

Recommendations

• Concurrency in programming languages: A survey
• A systematic approach to language constructs for concurrent programs
• scientific article; zbMATH DE number 1950676
• Towards a language for concurrent processes
• Introduction to concurrency in programming languages.

zbMATH Keywords

programming languagesconcurrencytheory of evolution

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Implementation of random linear network coding using nvidia's CUDA toolkit
• Scala actors: Unifying thread-based and event-based programming
• Secure implementation of channel abstractions
• A bridging model for multi-core computing
• Replicating Data for Better Performances in X10
• Safe \& efficient gradual typing for TypeScript
• Sorting, searching, and simulation in the MapReduce framework
• Essentials of programming languages.
• Authentication primitives and their compilation
• An algebraic theory of actors and its application to a simple object-based language

Cited In (1)

• Abstract Semantic Diffing of Evolving Concurrent Programs

This page was built for publication: The role of concurrency in an evolutionary view of programming abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890610)