The Design and Formalization of Mezzo, a Permission-Based Programming Language.
Thibaut BalabonskiFrançois PottierJonathan ProtzenkoPublished in: ACM Trans. Program. Lang. Syst. (2016)
Keyphrases
- programming language
- high level
- programming environment
- object oriented
- user interface
- visual programming
- denotational semantics
- object oriented programming
- functional programming
- general purpose
- domain specific languages
- object oriented concepts
- programming tool
- database languages
- specification language
- database language
- strongly typed
- database
- third party
- database design
- logic programming