Reasoning About CBV Functional Programs in Isabelle/HOL.

John Longley Randy Pollack

Published in: TPHOLs (2004)

Keyphrases

functional programs
theorem prover
natural deduction
term rewriting systems
functional language
lazy evaluation
inference rules
logic programs
proof planning
theorem proving
first order logic
stochastic grammar
sequent calculus
functional programming
programming language
databases
relational databases
multi agent