Verified Density Compilation for a Probabilistic Programming Language.
Joseph TassarottiJean-Baptiste TristanPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- programming language
- high level
- object oriented
- general purpose
- software engineering
- strongly typed
- programming environment
- logic programming
- specification language
- object oriented programming
- programs written
- computer programs
- functional programming
- abstract data types
- database language
- denotational semantics
- database languages
- machine learning
- database applications
- open source
- program code
- expert systems
- functional language
- database systems