PX: a system extracting programs from proofs.

Published in: Formal Description of Programming Concepts (1987)

Keyphrases

computer programs
automatic programming
theorem proving
natural deduction
multiscale
database systems
case study
bayesian networks
hidden markov models
e learning
artificial intelligence
programming environment
fixpoint
decision procedures
machine learning
control structures
control program
real world