Operational domain theory and topology of sequential programming languages.
Martín Hötzel EscardóWeng Kin HoPublished in: Inf. Comput. (2009)
Keyphrases
- programming language
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- object oriented
- denotational semantics
- general purpose
- strongly typed
- software engineering
- background knowledge
- high level
- logic programming
- lambda calculus
- knowledge based neural networks
- programming environment
- training examples
- machine learning
- specification language
- functional programming
- database languages
- case base
- program code
- expert systems
- object oriented concepts
- programming language constructs
- query language
- data abstraction