Classical Program Extraction in the Calculus of Constructions.

Alexandre Miquel

Published in: CSL (2007)

Keyphrases

automatic extraction
information extraction
java programs
database
databases
neural network
machine learning
information systems
case study
database systems
multiscale
knowledge extraction
control program
provably correct