A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time—whether to improve performance, or to extend them to ne...

Full description

Saved in:

Bibliographic Details
Published in:	Formal aspects of computing Vol. 30; no. 1; pp. 163 - 192
Main Authors:	Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.
Format:	Journal Article
Language:	English
Published:	London Springer London 01.01.2018 Association for Computing Machinery
Subjects:	Computer Science Math Applications in Computer Science Message passing Object oriented programming Original Article Performance enhancement Programming languages Semantics Software Theory of Computation Transformations (mathematics) Distributed programming with message passing Verification/analysis parameterised by semantics Operational semantics Concurrent asynchronous programming Graph transformation systems Object-oriented programming Concurrency abstractions Runtime semantics Software engineering
ISSN:	0934-5043, 1433-299X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!