Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load.
Michael CoblenzPublished in: CoRR (2021)
Keyphrases
- programming language
- cognitive load
- general purpose
- object oriented
- specification language
- software engineering
- programming environment
- functional programming
- high level
- design process
- object oriented programming
- denotational semantics
- databases
- object oriented concepts
- user interface
- computer programs
- knowledge representation
- abstract data types
- database languages
- relational databases
- domain specific languages
- concurrent programming
- artificial intelligence