Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.
Sven StorkKarl NadenJoshua SunshineManuel MohrAlcides FonsecaPaulo MarquesJonathan AldrichPublished in: ACM Trans. Program. Lang. Syst. (2014)
Keyphrases
- programming language
- concurrent programming
- object oriented
- general purpose
- high level
- object oriented programming
- logic programming
- access control
- denotational semantics
- strongly typed
- software engineering
- programming environment
- database languages
- third party
- abstract data types
- java language
- specification language
- databases
- data abstraction
- functional language
- programming paradigms
- object oriented concepts
- high level programming language
- programs written
- database language
- stored procedures
- computer programs
- machine learning