search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Verifying CPS transformations in Isabelle/HOL.

Yasuhiko Minamide Koji Okuma

Published in: MERLIN (2003)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
higher order logic
first order logic
cut elimination
model checking
formal methods
data sets
neural network
expert systems
multiresolution
real time
image processing
linear logic