A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language.
Gauri KambhatlaMichael J. CoblenzReed OeiJoshua SunshineJonathan AldrichBrad A. MyersPublished in: PLATEAU@UIST (2019)
Keyphrases
- programming language
- pilot study
- object oriented
- general purpose
- software engineering
- strongly typed
- high level
- programming environment
- computer games
- logic programming
- denotational semantics
- object oriented programming
- database languages
- specification language
- pilot project
- program code
- database language
- programming language constructs
- data abstraction
- machine learning
- computer programs
- programming paradigms
- object oriented databases