The Generalised Substitution Language Extended to Probabilistic Programs.
Carroll MorganPublished in: B (1998)
Keyphrases
- programming language
- computer programs
- control structures
- programming environment
- object oriented languages
- dynamic logic
- generative model
- language learning
- database languages
- agent programming
- modeling language
- functional programs
- natural language
- bayesian networks
- language processing
- logic programming language
- description languages
- specification language
- functional language
- concurrent programming
- monadic second order logic
- context sensitive
- language constructs
- declarative semantics
- probabilistic knowledge
- information retrieval
- posterior probability
- error handling
- expressive power
- natural language processing
- java bytecode
- object oriented
- database systems