Translating Scala Programs to Isabelle/HOL.

Lars Hupel Viktor Kuncak

Published in: CoRR (2016)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
formal methods
first order logic
computer programs
evolutionary algorithm
automatic programming
higher order logic
pairwise
higher order
fixpoint
sequent calculus