Translating Scala Programs to Isabelle/HOL - System Description.
Lars HupelViktor KuncakPublished in: IJCAR (2016)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- high level
- inference rules
- higher order logic
- automatic programming
- bayesian networks
- multi agent
- relational databases
- first order logic
- data sets
- case study
- multimedia
- computer programs
- programming environment
- shape description
- computer vision
- prolog programs
- neural network