Swift: Compiled Inference for Probabilistic Programming Languages.
Yi WuLei LiStuart J. RussellRastislav BodíkPublished in: IJCAI (2016)
Keyphrases
- programming language
- bayesian networks
- object oriented
- general purpose
- belief networks
- strongly typed
- high level
- software engineering
- programming environment
- lambda calculus
- logic programming
- specification language
- data abstraction
- probabilistic model
- database languages
- object oriented concepts
- object oriented programming
- programs written
- artificial intelligence
- functional programming
- denotational semantics
- computer programs
- higher order
- concurrent programming
- search algorithm