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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 30; číslo 1; s. 163 - 192
Hlavní autoři:	Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer London 01.01.2018 Association for Computing Machinery
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!