Many programming languages, such as Clojure, Scala, Haskell, or Java, provide support for different concurrency models.

In practice these models are often combined, however the semantics of the combinations are not always well defined, and this can invalidate some assumptions made by the programmer about the behavior of each individual model.

This poster presents Transactional Futures: a model that allows transactions and futures to be combined in a safe way, thereby allowing the parallelism within transactions to be exploited while still maintaining their serializability.
Originele taal-2English
StatusPublished - 7 jul 2015
EvenementECOOP 2015: European Conference on Object-Oriented Programming - Prague, Prague, Czech Republic
Duur: 5 jul 201510 jul 2015


ConferenceECOOP 2015: European Conference on Object-Oriented Programming
LandCzech Republic

Vingerafdruk Duik in de onderzoeksthema's van 'Transactional Futures and Promises'. Samen vormen ze een unieke vingerafdruk.

Citeer dit