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...
Saved in:
Main Authors: | CORRODI, Claudio, HEUßNER, Alexander, POSKITT, Christopher M. |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2017
|
Subjects: | |
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 |
Similar Items
-
A graph-based semantics workbench for concurrent Asynchronous programs
by: CORRODI, Claudio, et al.
Published: (2016) -
Parallel execution of constraint handling rules - Theory, implementation and application
by: LAM SOON LEE, EDMUND
Published: (2011) -
Differencing labeled transition systems
by: XING, Zhenchang, et al.
Published: (2011) -
Progressive program reasoning
by: RAZVAN VOICU
Published: (2010) -
Interpolation Methods for Symbolic Execution
by: CHU DUC HIEP
Published: (2013)