Æminium: a permission based concurrent-by-default programming language approach.
Sven StorkKarl NadenJoshua SunshineManuel MohrAlcides FonsecaPaulo MarquesJonathan AldrichPublished in: PLDI (2014)
Keyphrases
- programming language
- concurrent programming
- object oriented
- general purpose
- high level
- access control
- programming environment
- strongly typed
- software engineering
- logic programming
- third party
- object oriented programming
- computer programs
- database languages
- functional language
- denotational semantics
- database
- programming tool
- programs written
- specification language
- machine learning