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

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

Full description

Saved in:
Bibliographic Details
Main Authors: CORRODI, Claudio, HEUßNER, Alexander, POSKITT, Christopher M.
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
concurrent asynchronous programming
distributed programming with message passing
operational semantics
runtime semantics
graph transformation systems
verification/analysis parameterised by semantics
concurrency abstractions
object-oriented programming
software engineering
SCOOP
GROOVE
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4857
https://ink.library.smu.edu.sg/context/sis_research/article/5860/viewcontent/Corrodi_Heussner_Poskitt.FAOC.2017__1_.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4857
https://ink.library.smu.edu.sg/context/sis_research/article/5860/viewcontent/Corrodi_Heussner_Poskitt.FAOC.2017__1_.pdf

Similar Items