Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk).
Valeria VignudelliPublished in: FSCD (2018)
Keyphrases
- invited talk
- higher order
- higher order logic
- computer programs
- knowledge discovery and data mining
- high order
- expressive power
- selected papers
- probabilistic model
- pairwise
- cost based abduction
- databases
- bayesian networks
- functional language
- short papers
- imperative programs
- theorem proving
- language independent
- cross lingual
- knowledge discovery
- programs written
- expert systems
- information systems
- data mining