Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering.
David A. SchmidtPublished in: High. Order Symb. Comput. (2000)
Keyphrases
- programming language
- software engineering
- object oriented
- general purpose
- programming environment
- high level
- logic programming
- specification language
- object oriented programming
- data abstraction
- programming tool
- strongly typed
- object oriented concepts
- denotational semantics
- database languages
- international experts
- computer programs
- artificial intelligence
- concept formation
- functional programming
- open source
- induction algorithms
- operational semantics
- database language
- programming language constructs