Program Extraction From Proofs of Weak Head Normalization.

Malgorzata Biernacka Olivier Danvy Kristian Støvring

Published in: MFPS (2005)

Keyphrases

computer programs
theorem prover
information extraction
theorem proving
formal proof
automatically extracting
programming environment
test cases
preprocessing
automatic extraction
real time
database
knowledge extraction
automatically extracted
high level
static analysis
learning algorithm
data sets
program execution