Operational Domain Theory and Topology of a Sequential Programming Language.
Martín Hötzel EscardóWeng Kin HoPublished in: LICS (2005)
Keyphrases
- programming language
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- object oriented
- background knowledge
- general purpose
- strongly typed
- high level
- knowledge based neural networks
- logic programming
- software engineering
- programming environment
- object oriented programming
- database languages
- training examples
- data abstraction
- denotational semantics
- case base
- knowledge acquisition
- logic programs
- computer programs
- functional language
- prior knowledge
- data sets