HOME | ENGLISH | IMPRESSUM | KIT

Zeitschriftenartikel: AEminium: A Permission Based Concurrent-by-Default Programming Language Approach

[stork14toplas]Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich, AEminium: A Permission Based Concurrent-by-Default Programming Language Approach, ACM Transactions on Programming Languages and Systems, Vol. 36, (1), pp. 2:1--2:42, March 2014.

Zusammenfassung

In this paper we present the AEMINIUM concurrent-by-default programming language. Using AEMINIUM, programmers express data dependencies rather than control flow between instructions. Dependencies are expressed using permissions, which are used by the type system to automatically parallelize the application. The AEMINIUM approach provides a modular and composable mechanism for writing concurrent applications, preventing data races in a provable way.

Download

  [PDF]   [DOI]

BibTeX

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Manuel Mohr