A graph-based semantics workbench for concurrent Asynchronous programs
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviou...
Saved in:
Main Authors: | CORRODI, Claudio, HEUßNER, Alexander, POSKITT, Christopher M. |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2016
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4907 https://ink.library.smu.edu.sg/context/sis_research/article/5910/viewcontent/Corrodi_HP.FASE.2016.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
by: CORRODI, Claudio, et al.
Published: (2017) -
Towards practical graph-based verification for an object-oriented concurrency model
by: HEUßNER, Alexander, et al.
Published: (2015) -
Incorrectness logic for graph programs
by: POSKITT, Christopher M.
Published: (2021) -
Learning program semantics with code representations: An empirical study
by: SIOW, Jing Kai, et al.
Published: (2022) -
An interference-free programming model for network objects
by: SCHILL, Mischael, et al.
Published: (2016)