Property conveyances as a programming language.
Shrutarshi BasuNate FosterJames GrimmelmannPublished in: Onward! (2019)
Keyphrases
- programming language
- object oriented
- general purpose
- strongly typed
- software engineering
- logic programming
- programming environment
- high level
- specification language
- database language
- object oriented programming
- data abstraction
- high level programming language
- artificial intelligence
- object oriented concepts
- abstract data types
- distributed databases
- logic programs
- data management