Verifying the CPS Transformation in Isabelle/HOL.

Yasuhiko Minamide Koji Okuma

Published in: APLAS (2001)

Keyphrases

theorem prover
natural deduction
inference rules
first order logic
theorem proving
sequent calculus
higher order logic
databases
higher order
artificial intelligence
computer vision
feature selection
user interface